Synthesizing Optimally Resilient Controllers
From MaRDI portal
Publication:5079759
DOI10.4230/LIPIcs.CSL.2018.34OpenAlexW2983387284MaRDI QIDQ5079759
Daniel Neider, Alexander Weinert, Martín G. Zimmermann
Publication date: 28 May 2022
Full work available at URL: https://doi.org/10.4230/lipics.csl.2018.34
Related Items
Robust, expressive, and quantitative linear temporal logics: pick any two for free, Unnamed Item, Unnamed Item, Quantitative reductions and vertex-ranked infinite games, A symbolic algorithm for lazy synthesis of eager strategies, Optimally Resilient Strategies in Pushdown Safety Games
Cites Work
- Unnamed Item
- Synthesis of Reactive(1) designs
- Automating the addition of fault tolerance with discrete controller synthesis
- Borel determinacy
- Energy parity games
- Automata, logics, and infinite games. A guide to current research
- Synthesizing robust systems
- Synthesizing optimally resilient controllers
- Towards Robustness for Cyber-Physical Systems
- Robust discrete synthesis against unspecified disturbances
- On synthesizing robust discrete controllers under modeling uncertainty
- Resilience to intermittent assumption violations in reactive synthesis
- Better Quality in Synthesis through Quantitative Objectives
- Permissive strategies: from parity games to safety games
- Deciding parity games in quasipolynomial time
- Robust Linear Temporal Logic
- Mechanizing Mathematical Reasoning
