by Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka
Reference:
Swarm Model Checking on the GPU Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka, In International Journal on Software Tools for Technology Transfer (Thomas Given-Wilson, Axel Legay, eds.), 2020.
Bibtex Entry:
@article{ferdman-sttt-swarm-model-checking-on-the-gpu,
author="DeFrancisco, Richard and Cho, Shenghsun and Ferdman, Michael and Smolka, Scott A.",
editor="Given-Wilson, Thomas and Legay, Axel",
title="Swarm Model Checking on the {GPU}",
journal="International Journal on Software Tools for Technology Transfer",
pdf={https://compas.cs.stonybrook.edu/%7Emferdman/downloads.php/STTT20_Swarm_Model_Checking_on_the_GPU.pdf},
year="2020"
}