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

Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh +1

Cyber-physical systems are often safety-critical in that violations of safety properties may lead to catastrophes. We propose a method to enforce the safety of systems with real-va…