@inproceedings{108,
  author = {U. Mehmood and S. Bak and S. Smolka and S. Stoller},
  title = {Safe CPS from Unsafe Controllers},
  year = {2021},
  journal = {Proceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems},
  month = {06/2021},
  language = {eng},
}