Title | Safe CPS from Unsafe Controllers |
Publication Type | Conference Paper |
Year of Publication | 2021 |
Authors | Mehmood, U., Bak S., Smolka S. A., and Stoller S. D. |
Conference Name | Proceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems |
Date Published | 06/2021 |