Alessio Lomuscio, Edoardo Pirovano. A counter abstraction technique for verifying properties of probabilistic swarm systems. Artificial Intelligence, 305:103666, 2022. [doi]
@article{LomuscioP22,
title = {A counter abstraction technique for verifying properties of probabilistic swarm systems},
author = {Alessio Lomuscio and Edoardo Pirovano},
year = {2022},
doi = {10.1016/j.artint.2022.103666},
url = {https://doi.org/10.1016/j.artint.2022.103666},
researchr = {https://researchr.org/publication/LomuscioP22},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {305},
pages = {103666},
}