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