Wang Chao
- Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems
2019/08/15 by Meng Wu, Jingbo Wang, Wu, Meng +5 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Robotics (cs.RO) #Safety Systems Engineering in Autonomy #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering