MIT

Building Safe Autonomy

Search

Main menu

Home
PublicationsA list of publications
About
News
Contact

Canedo, Arquimedes

2019
Data-Driven Safety Verification of Complex Cyber-Physical Systems

Design Automation of Cyber-Physical Systems

MIT

Massachusetts Institute of Technology
77 Massachusetts Avenue, Cambridge, MA, USA