chuchu
Building Safe Autonomy
Search
Search
Main menu
Home
Publications
A list of publications
About
News
Contact
Kapinski, James
2016
Fan, Chuchu
Kapinski, James
Jin, Xiaoqing
Locally Optimal Reach Set Over-approximation for Nonlinear Systems
Proceedings of the 13th International Conference on Embedded Software, (EMSOFT)
2017
Fan, Chuchu
Kapinski, James
Jin, Xiaoqing
Mitra, Sayan
Simulation-Driven Reachability Using Matrix Measures
ACM Transactions on Embedded Computing Systems
