A direct symbolic algorithm for solving stochastic Rabin games
From MaRDI portal
Publication:6535608
DOI10.1007/978-3-030-99527-0_5zbMATH Open1547.68304MaRDI QIDQ6535608FDOQ6535608
Authors: Tamajit Banerjee, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani 
Publication date: 1 February 2024
Recommendations
Formal languages and automata (68Q45) Stochastic games, stochastic differential games (91A15) Games involving graphs (91A43)
Cites Work
- Verification and Control of Hybrid Systems
- Title not available (Why is that?)
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Results on the propositional \(\mu\)-calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the synthesis of discrete controllers for timed systems
- Quantitative stochastic parity games
- Automata, Languages and Programming
- Infinite games on finitely coloured graphs with applications to automata on infinite trees
- An improved algorithm for the evaluation of fixpoint expressions
- Solving Sequential Conditions by Finite-State Strategies
- Title not available (Why is that?)
- Control design for specifications on stochastic hybrid systems
- Logic for Programming, Artificial Intelligence, and Reasoning
- Code aware resource management
- Formal methods for discrete-time dynamical systems
- Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes
- Progress measures, immediate determinacy, and a subset construction for tree automata
- Symbolic controller synthesis for Büchi specifications on stochastic systems
- Abstraction-based synthesis for stochastic systems with omega-regular objectives
Cited In (1)
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)
