Shield synthesis

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

zbMATH Keywords

synthesisgameshuman factorsUAVruntime reinforcement

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

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

• ABC

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