Synthesizing permissive winning strategy templates for parity games
From MaRDI portal
Publication:6535644
Recommendations
Cites work
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Compositional construction of most general controllers
- Computing adequately permissive assumptions for synthesis
- Diagnosis and fault-tolerant control
- Down the Borel hierarchy: solving Muller games via safety games
- Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
- Formal methods for discrete-time dynamical systems
- Generalized Parity Games
- Introduction to Discrete Event Systems
- Measuring Permissiveness in Parity Games: Mean-Payoff Parity Games Revisited
- Multi-layered abstraction-based controller synthesis for continuous-time systems
- On the relation between reactive synthesis and supervisory control of non-terminating processes
- Partial solvers for generalized parity games
- Permissive strategies: from parity games to safety games
- ROCS: a robustly complete control synthesis tool for nonlinear dynamical systems
- Receding horizon control for temporal logic specifications
- SCOTS: a tool for the synthesis of symbolic controllers
- Supervisory Controller Synthesis for Nonterminating Processes Is an Obliging Game
- Supervisory control and reactive synthesis: a comparative introduction
- Supervisory control of discrete-event systems
- Synthesis of Reactive(1) designs
- Synthesizing optimally resilient controllers
- Synthesizing permissive winning strategy templates for parity games
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- Verification and Control of Hybrid Systems
- pFaces
Cited in
(2)
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)
