Claudiney R. Tinoco, Leiliane Pereira de Rezende, Stéphane Julia, Gina M. B. Oliveira. Swarm robotics coordination dynamics modelled and formalised through Coloured Petri Nets. In Marek Z. Reformat, Du Zhang, Nikolaos G. Bourbakis, editors, 34th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2022, Macao, China, October 31 - November 2, 2022. pages 1441-1448, IEEE, 2022. [doi]
Abstract is missing.