Demo Data from VLDB 2026 / reviewers in the wild / expert
David Lurie
dblp:378/6780
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 87% Computational complexity · 13% | |
| Artificial intelligence
1 paper |
Reinforcement learning · 50% Planning, search and constraint satisfaction · 50% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Machine learning › Reinforcement learning
markov decision process |
1.0 | 1 | 2026 | Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives · AAAI 2026 |
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › planning under uncertainty
partially observable markov decision process |
1.0 | 1 | 2026 | Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives · AAAI 2026 |
Automated reasoning and model checking › probabilistic verification
parity objective |
1.0 | 1 | 2026 | Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives · AAAI 2026 |
Automated reasoning and model checking
probabilistic verification |
1.0 | 1 | 2026 | Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives · AAAI 2026 |
Computational complexity › complexity classes
EXPTIME |
0.3 | 1 | 2026 | Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives · AAAI 2026 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Revealing POMDPs: Qualitative and Quantitative Analysis for Parity ObjectivesabstractPartially observable Markov decision processes (POMDPs) are a central model for uncertainty in sequential decision making. The most basic objective is the reachability objective, where a target set must be eventually visited, and the more general parity objectives can model all omega-regular specifications. For such objectives, the computational analysis problems are the following: (a) qualitative analysis that asks whether the objective can be satisfied with probability 1 (almost-sure winning) or probability arbitrarily close to 1 (limit-sure winning); and (b) quantitative analysis that asks for the approximation of the optimal probability of satisfying the objective. For general POMDPs, almost-sure analysis for reachability objectives is EXPTIME-complete, but limit-sure and quantitative analyses for reachability objectives are undecidable; almost-sure, limit-sure, and quantitative analyses for parity objectives are all undecidable. A special class of POMDPs, called revealing POMDPs, has been studied recently in several works, and for this subclass the almost-sure analysis for parity objectives was shown to be EXPTIME-complete. In this work, we show that for revealing POMDPs the limit-sure analysis for parity objectives is EXPTIME-complete, and even the quantitative analysis for parity objectives can be achieved in EXPTIME. Ali Asadi, Krishnendu Chatterjee, David Lurie, Raimundo Saona |
AAAI | 3 |