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

Meng Wu, Jingbo Wang, Jyotirmoy Deshmukh, Chao Wang

Browse the full FMCAD paper archive.