Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms

Laura Antuna, Dejanira Araiza Illan*, Sergio Campos, Kerstin I Eder

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

8 Citations (Scopus)
39 Downloads (Pure)

Search results