Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

David Lurie

dblp:378/6780 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Machine learning › Reinforcement learning
markov decision process
1.012026
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.012026
Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives · AAAI 2026
Automated reasoning and model checking › probabilistic verification
parity objective
1.012026
Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives · AAAI 2026
Automated reasoning and model checking
probabilistic verification
1.012026
Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives · AAAI 2026
Computational complexity › complexity classes
EXPTIME
0.312026
Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives · AAAI 2026
YearPublicationVenuePosition
2026 Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives
abstract
Partially 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
AAAI3