Synthesizing robust systems
From MaRDI portal
Publication:2249662
DOI10.1007/s00236-013-0191-5zbMath1302.93079OpenAlexW1975294133MaRDI QIDQ2249662
Barbara Jobstmann, Bettina Könighofer, Karin Greimel, Krishnendu Chatterjee, Robert Könighofer, Thomas A. Henzinger, Roderick Bloem, Georg Hofferek
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
Related Items
Synthesizing Efficient Controllers, Synthesizing efficient systems in probabilistic environments, Weight Assignment Logic, Graph Games and Reactive Synthesis, Protocol scheduling, Safraless LTL synthesis considering maximal realizability, Synthesis for Multi-weighted Games with Branching-Time Winning Conditions, A theory of change for prioritised resilient and evolvable software systems, Specifiable robustness in reactive synthesis, Shield synthesis, Synthesizing Non-Vacuous Systems, On tolerance of discrete systems with respect to transition perturbations, Synthesis of Reactive(1) designs, Unnamed Item, QUASY: Quantitative Synthesis Tool, Multi-weighted automata and MSO logic, Reactive synthesis without regret, Strategy synthesis for multi-dimensional quantitative objectives, Synthesizing robust systems, On High-Quality Synthesis, Quantitative reductions and vertex-ranked infinite games, A weakness measure for GR(1) formulae, Unnamed Item, Synthesizing Optimally Resilient Controllers, Synthesizing optimally resilient controllers, Faster algorithms for quantitative verification in bounded treewidth graphs, Vacuity in synthesis, Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems, Optimally Resilient Strategies in Pushdown Safety Games, Measuring and Synthesizing Systems in Probabilistic Environments
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- 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
- Computer aided verification. 21st international conference, CAV 2009, Grenoble, France, June 26--July 2, 2009. Proceedings
- Automating the addition of fault tolerance with discrete controller synthesis
- Defining liveness
- The complexity of mean payoff games on graphs
- Synthesizing robust systems
- Robust discrete synthesis against unspecified disturbances
- Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice
- Bounded Synthesis
- Conflict-Tolerant Features
- Ranking Automata and Games for Prioritized Requirements
- Environment Assumptions for Synthesis
- Energy Parity Games
- Better Quality in Synthesis through Quantitative Objectives
- An Antichain Algorithm for LTL Realizability
- Self-stabilizing systems in spite of distributed control
- Robustness of supervisors for discrete-event systems
- Verification, Model Checking, and Abstract Interpretation
