Qualitative Analysis of VASS-Induced MDPs

DOI10.1007/978-3-662-49630-5_19zbMath1475.68199arXiv1512.08824OpenAlexW2216663278MaRDI QIDQ2811349

Radu Ciobanu, Arnaud Sangnier, Jeremy Sproston, Richard Mayr, Parosh Aziz Abdulla

Publication date: 10 June 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1512.08824

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs ⋮ Simple stochastic games with almost-sure energy-parity objectives are in NP and conp ⋮ Qualitative Analysis of VASS-Induced MDPs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The complexity of stochastic games
• Parallel program schemata
• Qualitative Analysis of VASS-Induced MDPs
• Solving Parity Games on Integer Vectors
• One-Counter Stochastic Games
• Qualitative Logics and Equivalences for Probabilistic Systems
• Long-Run Average Behaviour of Probabilistic Vector Addition Systems
• Computer Science Logic
• Monotonic and Downward Closed Games
• Automata, Languages and Programming
• Stochastic Games

This page was built for publication: Qualitative Analysis of VASS-Induced MDPs