. (2021). Safe CPS from Unsafe Controllers. Proceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems. Presented at the. (Original work published 2021)
S. Bak
First name
S.
Last name
Bak