Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Author is S. Bak  [Clear All Filters]
Conference Paper
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)