@conference {,
	title = {Safe CPS from Unsafe Controllers},
	booktitle = {Proceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems},
	year = {2021},
	month = {06/2021},
	author = {U. Mehmood and S. Bak and S. A. Smolka and S. D. Stoller}
}
@article {,
	title = {Swarm Model Checking on the GPU},
	journal = {International Journal on Software Tools for Technology Transfer},
	year = {2020},
	author = {R. DeFrancisco and S. Cho and M. Ferdman and S. A. Smolka}
}
