%0 Conference Paper %1 journals/corr/abs-2207-06758 %A Schupp, Stefan %A Leofante, Francesco %A Behr, Leander %A Ábrahám, Erika %A Tacchella, Armando %B SNR %D 2021 %E Remke, Anne %E Tran, Dung Hoang %K dblp %P 61-77 %T Robot Swarms as Hybrid Systems: Modelling and Verification. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs361.html#abs-2207-06758 %V 361

@inproceedings{journals/corr/abs-2207-06758, added-at = {2024-02-05T00:00:00.000+0100}, author = {Schupp, Stefan and Leofante, Francesco and Behr, Leander and Ábrahám, Erika and Tacchella, Armando}, biburl = {https://www.bibsonomy.org/bibtex/2a706bb18a3271833d5aec0216a6f04a1/dblp}, booktitle = {SNR}, crossref = {journals/corr/abs-2207-04391}, editor = {Remke, Anne and Tran, Dung Hoang}, ee = {https://doi.org/10.48550/arXiv.2207.06758}, interhash = {4af4604e043f77703444810facea13c7}, intrahash = {a706bb18a3271833d5aec0216a6f04a1}, keywords = {dblp}, pages = {61-77}, series = {EPTCS}, timestamp = {2024-04-09T09:30:07.000+0200}, title = {Robot Swarms as Hybrid Systems: Modelling and Verification.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs361.html#abs-2207-06758}, volume = 361, year = 2021 }