DeFrancisco, R., Cho, S., Ferdman, M., & Smolka, S. A. (2020). Swarm Model Checking on the GPU. International Journal on Software Tools for Technology Transfer.
