BibTex format
@inproceedings{Schupp:2022:10.4204/eptcs.361.7,
author = {Schupp, S and Leofante, F and Behr, L and Ábrahám, E and Taccella, A},
doi = {10.4204/eptcs.361.7},
pages = {61--77},
publisher = {Open Publishing Association},
title = {Robot swarms as hybrid systems: modelling and verification},
url = {http://dx.doi.org/10.4204/eptcs.361.7},
year = {2022}
}