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)
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)