Kyoung-Dae Kim
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| An MPC-Based Approach to Provable System-Wide Safety and Liveness of Autonomous Ground Traffic IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
| Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Research outcomes over time
This page was built for person: Kyoung-Dae Kim
