Qualitative Analysis of Partially-Observable Markov Decision Processes
From MaRDI portal
Publication:3586089
DOI10.1007/978-3-642-15155-2_24zbMath1287.68104arXiv0909.1645OpenAlexW1734951714MaRDI QIDQ3586089
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
Publication date: 3 September 2010
Published in: Mathematical Foundations of Computer Science 2010 (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0909.1645
Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (14)
What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives ⋮ Enforcing almost-sure reachability in POMDPs ⋮ Reachability analysis of quantum Markov decision processes ⋮ Graph Games and Reactive Synthesis ⋮ Parameter-Independent Strategies for pMDPs via POMDPs ⋮ On almost-sure intention deception planning that exploits imperfect observers ⋮ Probabilistic opacity for Markov decision processes ⋮ Unnamed Item ⋮ Further improvements of determinization methods for fuzzy finite automata ⋮ A survey of partial-observation stochastic parity games ⋮ Partial-Observation Stochastic Games ⋮ CEGAR for compositional analysis of qualitative properties in Markov decision processes ⋮ Unnamed Item ⋮ POMDPs under probabilistic semantics
Uses Software
This page was built for publication: Qualitative Analysis of Partially-Observable Markov Decision Processes