Publications

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Title is S and Author is S. A. Smolka  [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)
2020
Swarm Model Checking on the GPU, DeFrancisco, R., Cho S., Ferdman M., and Smolka S. A. , International Journal on Software Tools for Technology Transfer, (2020)