chuchu
Building Safe Autonomy
Search
Search
Main menu
Home
Publications
A list of publications
About
News
Contact
Reachability
2017
Fan, Chuchu
Kapinski, James
Jin, Xiaoqing
Mitra, Sayan
Simulation-Driven Reachability Using Matrix Measures
ACM Transactions on Embedded Computing Systems