Biblio

Found 2 results
Filters: Author is Jin, Xiaoqing  [Clear All Filters]
2017
Fan C, Kapinski J, Jin X, Mitra S.  2017.  Simulation-Driven Reachability Using Matrix Measures. ACM Transactions on Embedded Computing Systems. 17:1–28.
2016
Fan C, Kapinski J, Jin X.  2016.  Locally Optimal Reach Set Over-approximation for Nonlinear Systems. Proceedings of the 13th International Conference on Embedded Software, (EMSOFT). :1–10.