Shield synthesis

DOI10.1007/S10703-017-0276-9MaRDI QIDQ1696587zbMATH OpenOpenAlexWikidataFDO

Authors Bettina Könighofer, Mohammed Alshiekh, Roderick Bloem, Laura Humphrey, Robert Könighofer, Ufuk Topcu, Chao Wang

Publication date 14 February 2018

Published in Formal Methods in System Design (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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)

Recommendations

• Shield synthesis: runtime enforcement for reactive systems
• Synthesizing robust systems
• Live synthesis

Cites work

• A brief account of runtime verification
• Admissible Strategies in Infinite Games over Graphs
• Algorithms for computing minimal unsatisfiable subsets of constraints
• Cooperative reactive synthesis
• Defining liveness
• Diagnostic Information for Realizability
• Graph-Based Algorithms for Boolean Function Manipulation
• Permissive strategies: from parity games to safety games
• Resilience to intermittent assumption violations in reactive synthesis
• Shield synthesis: runtime enforcement for reactive systems
• Synthesis of Reactive(1) designs
• Synthesizing robust systems
• Verified hybrid controllers for automated vehicles

Cited in

(10)

• Adapting behaviors via reactive synthesis
• On bidirectional runtime enforcement
• On runtime enforcement via suppressions
• A process calculus approach to detection and mitigation of PLC malware
• Compositional runtime enforcement revisited
• Shield synthesis: runtime enforcement for reactive systems
• Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
• Risk-aware shielding of partially observable Monte Carlo planning policies
• On first-order runtime enforcement of branching-time properties
• scientific article; zbMATH DE number 7559459 (Why is no real title available?)

Describes a project that uses

Uses Software

• ABC

This page was built for publication: Shield synthesis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1696587)