Stabilization, Safety, and Security of Distributed Systems
Springer International Publishing
Chapter title |
Computer Aided Formal Design of Swarm Robotics Algorithms
|
---|---|
Chapter number | 31 |
Book title |
Stabilization, Safety, and Security of Distributed Systems
|
Published by |
Springer, Cham, January 2021
|
DOI | 10.1007/978-3-030-91081-5_31 |
Book ISBNs |
978-3-03-091080-8, 978-3-03-091081-5
|
Authors |
Balabonski, Thibaut, Courtieu, Pierre, Pelle, Robin, Rieg, Lionel, Tixeuil, Sébastien, Urbain, Xavier |