Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is S. Bak  [Clear All Filters]
2021
Safe CPS from Unsafe Controllers, Mehmood, U., Bak S., Smolka S. A., and Stoller S. D. , Proceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 06/2021, (2021)