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