Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems

Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems

15 August 2019

Jyotirmoy Deshmukh

Papers citing "Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems"

4 / 4 papers shown

Title
Shield Synthesis for LTL Modulo Theories Andoni Rodríguez Guy Amir Davide Corsi César Sánchez Guy Katz 84 7 0 17 Feb 2025
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges Xiang Yin Bingzhao Gao Xiao Yu 49 18 0 20 Feb 2024
Dynamic Shielding for Reinforcement Learning in Black-Box Environments Masaki Waga Ezequiel Castellano Sasinee Pruekprasert Stefan Klikovits Toru Takisaka I. Hasuo 31 8 0 27 Jul 2022
Data-driven Design of Context-aware Monitors for Hazard Prediction in Artificial Pancreas Systems Xugui Zhou Bulbul Ahmed J. Aylor Philip Asare H. Alemzadeh 29 13 0 06 Apr 2021