Quantitative solution of omega-regular games

DOI10.1016/j.jcss.2003.07.009zbMath1093.91001OpenAlexW2060155289MaRDI QIDQ1887716

Rupak Majumdar, Luca de Alfaro

Publication date: 22 November 2004

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2003.07.009

zbMATH Keywords

GamesAutomataTemporal logicProbabilistic algorithm\(\mu\)-Calculus

Mathematics Subject Classification ID

2-person games (91A05)

Related Items (17)

Expected reachability-time games ⋮ An Algorithm for Probabilistic Alternating Simulation ⋮ The mu-calculus and Model Checking ⋮ Symbolic Model Checking in Non-Boolean Domains ⋮ Automatic verification of concurrent stochastic systems ⋮ Model Checking Linear-Time Properties of Probabilistic Systems ⋮ Strategy improvement for concurrent reachability and turn-based stochastic safety games ⋮ Nearest Fixed Points and Concurrent Priority Games ⋮ Automated Verification of Concurrent Stochastic Games ⋮ Symbolic verification and strategy synthesis for turn-based stochastic games ⋮ Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games ⋮ Value Iteration ⋮ Model checking games for the quantitative \(\mu \)-calculus ⋮ Concurrent reachability games ⋮ On Values of Games ⋮ Qualitative reachability in stochastic BPA games ⋮ Recursive Markov Decision Processes and Recursive Stochastic Games

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Results on the propositional \(\mu\)-calculus
• The bad match; a total reward stochastic game
• Model theory.
• Infinite games played on finite graphs
• Reasoning about infinite computations
• Model checking of probabilistic and nondeterministic systems
• Existence of Value and Randomized Strategies in Zero-Sum Discrete-Time Stochastic Dynamic Games
• Algorithms for stochastic games ? A survey
• Probability with Martingales
• The determinacy of Blackwell games
• On the synthesis of strategies in infinite games
• Solving Sequential Conditions by Finite-State Strategies
• Stochastic Games
• Demonic, angelic and unbounded probabilistic choices in sequential programs

This page was built for publication: Quantitative solution of omega-regular games