Synthesizing robust systems
From MaRDI portal
Publication:2249662
DOI10.1007/S00236-013-0191-5zbMATH Open1302.93079OpenAlexW1975294133MaRDI QIDQ2249662FDOQ2249662
Authors: Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, Robert Könighofer 
Publication date: 3 July 2014
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-013-0191-5
Recommendations
Cites Work
- The complexity of mean payoff games on graphs
- Self-stabilizing systems in spite of distributed control
- Synthesizing robust systems
- Better Quality in Synthesis through Quantitative Objectives
- Robust discrete synthesis against unspecified disturbances
- Environment Assumptions for Synthesis
- Title not available (Why is that?)
- Bounded Synthesis
- Defining liveness
- Verification, Model Checking, and Abstract Interpretation
- Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26--July 2, 2009. Proceedings
- An Antichain Algorithm for LTL Realizability
- Title not available (Why is that?)
- Automating the addition of fault tolerance with discrete controller synthesis
- Conflict-Tolerant Features
- Robustness of supervisors for discrete-event systems
- Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7--14, 2008. Proceedings
- Computer aided verification. 22nd international conference, CAV 2010, Edinburgh, UK, July 15--19, 2010. Proceedings
- Ranking Automata and Games for Prioritized Requirements
- Energy parity games
- Synthesis of fault-tolerant embedded systems using games: from theory to practice
Cited In (45)
- Abstracting and refining robustness for cyber-physical systems
- System analysis and robustness
- Resilience to intermittent assumption violations in reactive synthesis
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems
- Shield synthesis
- Robustness in Interaction Systems
- Shield synthesis: runtime enforcement for reactive systems
- Synthesizing efficient systems in probabilistic environments
- Synthesis of succinct systems
- Strategy synthesis for multi-dimensional quantitative objectives
- Quantitative reductions and vertex-ranked infinite games
- Measuring and synthesizing systems in probabilistic environments
- On high-quality synthesis
- Protocol scheduling
- A theory of change for prioritised resilient and evolvable software systems
- Synthesis of Reactive(1) designs
- Assume-admissible synthesis
- Specifiable robustness in reactive synthesis
- Synthesis for multi-weighted games with branching-time winning conditions
- Robust linear temporal logic
- Faster algorithms for mean-payoff parity games
- Graph Games and Reactive Synthesis
- Optimally Resilient Strategies in Pushdown Safety Games
- A weakness measure for GR(1) formulae
- On tolerance of discrete systems with respect to transition perturbations
- Synthesizing non-vacuous systems
- Safraless LTL synthesis considering maximal realizability
- Synthesizing efficient controllers
- On synthesizing robust discrete controllers under modeling uncertainty
- Faster algorithms for quantitative verification in bounded treewidth graphs
- Vacuity in synthesis
- Specification and optimal reactive synthesis of run-time enforcement shields
- Weight assignment logic
- Synthesizing robust systems
- Multi-weighted automata and MSO logic
- QUASY: quantitative synthesis tool
- Synthesizing optimally resilient controllers
- Cooperative reactive synthesis
- Synthesis of Persistent Systems
- Safe environmental envelopes of discrete systems
- Reactive synthesis without regret
- Optimal supervisory control of discrete event systems for cyclic tasks
- Robust synthesis for real-time systems
- Synthesizing Optimally Resilient Controllers
- Title not available (Why is that?)
Uses Software
This page was built for publication: Synthesizing robust systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2249662)
