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) Games involving graphs (91A43) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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)

• Enforcing almost-sure reachability in POMDPs
• Qualitative reachability in stochastic BPA games
• Qualitative reachability in stochastic BPA games
• 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?)
• Approximating the termination value of one-counter MDPs and stochastic games
• Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters
• Reachability and safety objectives in Markov decision processes on long but finite horizons
• Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
• Reachability in recursive Markov decision processes
• Reachability problems for Markov chains
• Qualitative analysis of VASS-induced MDPs

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)