Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems. - Wu, Meng; Wang, Jingbo; Deshmukh, Jyotirmoy; Wang, Chao (2019)