ResearchTrend.AI
Computer Aided Formal Design of Swarm Robotics Algorithms

Computer Aided Formal Design of Swarm Robotics Algorithms

Thibaut Balabonski
Pierre Courtieu
Robin Pelle
Lionel Rieg
Sébastien Tixeuil
X. Urbain
ArXiv (abs)PDFHTML

Papers citing "Computer Aided Formal Design of Swarm Robotics Algorithms"

1 / 1 papers shown
Title
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space
Xavier Défago
Adam Heriban
Sébastien Tixeuil
Koichi Wada
30
9
0
23 Jul 2019