@Article{LP22,
author={Alessio Lomuscio and Edoardo Pirovano},
title={A counter abstraction technique for verifying properties of probabilistic swarm systems},
journal={Artificial Intelligence},
year={2022},

volume={305},
number={},
pages={103666},
publisher={},
month={},
note={},
key={}
}