Shield synthesis
From MaRDI portal
Publication:1696587
DOI10.1007/s10703-017-0276-9zbMath1386.68101OpenAlexW4231208998WikidataQ59607546 ScholiaQ59607546MaRDI QIDQ1696587
Robert Könighofer, Ufuk Topcu, Chao Wang, Mohammed Alshiekh, Roderick Bloem, Laura Humphrey, Bettina Könighofer
Publication date: 14 February 2018
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-017-0276-9
Related Items (10)
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties ⋮ Adapting behaviors via reactive synthesis ⋮ Specification and optimal reactive synthesis of run-time enforcement shields ⋮ Risk-aware shielding of partially observable Monte Carlo planning policies ⋮ On first-order runtime enforcement of branching-time properties ⋮ Compositional runtime enforcement revisited ⋮ Unnamed Item ⋮ A process calculus approach to detection and mitigation of PLC malware ⋮ Unnamed Item ⋮ On bidirectional runtime enforcement
Uses Software
Cites Work
- Synthesis of Reactive(1) designs
- Defining liveness
- Synthesizing robust systems
- A brief account of runtime verification
- Algorithms for computing minimal unsatisfiable subsets of constraints
- Resilience to intermittent assumption violations in reactive synthesis
- Admissible Strategies in Infinite Games over Graphs
- Cooperative Reactive Synthesis
- Graph-Based Algorithms for Boolean Function Manipulation
- Verified hybrid controllers for automated vehicles
- Permissive strategies: from parity games to safety games
- Shield Synthesis:
- Diagnostic Information for Realizability
This page was built for publication: Shield synthesis
