Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2101.06966
Cited By
Computer Aided Formal Design of Swarm Robotics Algorithms
18 January 2021
Thibaut Balabonski
Pierre Courtieu
Robin Pelle
Lionel Rieg
Sébastien Tixeuil
X. Urbain
Re-assign community
ArXiv (abs)
PDF
HTML
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
Xavier Défago
Adam Heriban
Sébastien Tixeuil
Koichi Wada
27
9
0
23 Jul 2019
1
