Simulation-Driven Reachability Using Matrix Measures
ACM Transactions on Embedded Computing Systems
James Kapinski
Chuchu Fan
Sayan Mitra