Synthesizing permissive winning strategy templates for parity games
From MaRDI portal
Publication:6535644
DOI10.1007/978-3-031-37706-8_22zbMATH Open1547.68404MaRDI QIDQ6535644FDOQ6535644
Authors: Anne-Kathrin Schmuck 
Publication date: 1 February 2024
Formal languages and automata (68Q45) Applications of game theory (91A80) 2-person games (91A05) Specification and verification (program logics, model checking, etc.) (68Q60) Games involving graphs (91A43) Synthesis problems (93B50)
Cites Work
- ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems
- pFaces
- Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
- Verification and Control of Hybrid Systems
- Title not available (Why is that?)
- Receding horizon control for temporal logic specifications
- Synthesis of Reactive(1) designs
- Generalized Parity Games
- Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited
- Down the Borel hierarchy: solving Muller games via safety games
- Permissive strategies: from parity games to safety games
- Diagnosis and fault-tolerant control
- Supervisory control and reactive synthesis: a comparative introduction
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- Partial solvers for generalized parity games
- Supervisory control of discrete-event systems
- Formal methods for discrete-time dynamical systems
- SCOTS: a tool for the synthesis of symbolic controllers
- Introduction to Discrete Event Systems
- Multi-layered abstraction-based controller synthesis for continuous-time systems
- On the relation between reactive synthesis and supervisory control of non-terminating processes
- Synthesizing optimally resilient controllers
- Compositional construction of most general controllers
- Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game
- Synthesizing permissive winning strategy templates for parity games
- Computing adequately permissive assumptions for synthesis
Cited In (1)
This page was built for publication: Synthesizing permissive winning strategy templates for parity games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535644)
