Simulation-Driven Reachability Using Matrix Measures

Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra. Simulation-Driven Reachability Using Matrix Measures. ACM Trans. Embedded Comput. Syst., 17(1), 2018. [doi]

Authors

Chuchu Fan

This author has not been identified. Look up 'Chuchu Fan' in Google

James Kapinski

This author has not been identified. Look up 'James Kapinski' in Google

Xiaoqing Jin

This author has not been identified. Look up 'Xiaoqing Jin' in Google

Sayan Mitra

This author has not been identified. Look up 'Sayan Mitra' in Google