A direct symbolic algorithm for solving stochastic Rabin games

DOI10.1007/978-3-030-99527-0_5MaRDI QIDQ6535608zbMATH OpenFDO

Authors Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani

Publication date 1 February 2024

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Stochastic games, stochastic differential games (91A15) Games involving graphs (91A43)

Recommendations

• A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties
• Automata, Languages and Programming
• Strategy Improvement for Stochastic Rabin and Streett Games
• Stochastic Games with Finitary Objectives
• Perfect-information stochastic mean-payoff parity games

Cites work

• scientific article; zbMATH DE number 4085004 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3189696 (Why is no real title available?)
• Abstraction-based synthesis for stochastic systems with omega-regular objectives
• An improved algorithm for the evaluation of fixpoint expressions
• Automata, Languages and Programming
• Code aware resource management
• Control design for specifications on stochastic hybrid systems
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
• Formal methods for discrete-time dynamical systems
• Infinite games on finitely coloured graphs with applications to automata on infinite trees
• Logic for Programming, Artificial Intelligence, and Reasoning
• On the synthesis of discrete controllers for timed systems
• Progress measures, immediate determinacy, and a subset construction for tree automata
• Quantitative stochastic parity games
• Results on the propositional \(\mu\)-calculus
• Solving Sequential Conditions by Finite-State Strategies
• Symbolic controller synthesis for Büchi specifications on stochastic systems
• Verification and Control of Hybrid Systems

Cited in

(1)

• A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties

This page was built for publication: A direct symbolic algorithm for solving stochastic Rabin games

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