Reachability in Recursive Markov Decision Processes

DOI10.1007/11817949_24MaRDI QIDQ5756595zbMATH OpenOpenAlexFDO

Authors Tomáš Brázdil, Václav Brožek, Vojtech Forejt, Antonin Kučera

Publication date 4 September 2007

Published in CONCUR 2006 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.178.6733

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Games involving graphs (91A43)

Recommendations

• Reachability in recursive Markov decision processes
• Tools and Algorithms for the Construction and Analysis of Systems
• Recursive Markov decision processes and recursive stochastic games
• Automata, Languages and Programming
• Qualitative reachability in stochastic BPA games

Cited in

(12)

• Reachability and safety objectives in Markov decision processes on long but finite horizons
• Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
• Qualitative analysis of VASS-induced MDPs
• Approximating the termination value of one-counter MDPs and stochastic games
• Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters
• Forward Recursion for Markov Decision Processes with Skip-Free-to-the-Right Transitions, Part I: Theory and Algorithm
• scientific article; zbMATH DE number 1786649 (Why is no real title available?)
• Reachability problems for Markov chains
• Qualitative reachability in stochastic BPA games
• Qualitative reachability in stochastic BPA games
• Enforcing almost-sure reachability in POMDPs
• Reachability in recursive Markov decision processes

This page was built for publication: Reachability in Recursive Markov Decision Processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756595)