Logiciel Année : 2025

Pactole

Résumé

A Coq library dedicated to formally verifying distributed protocols for mobile robot swarms. The library implements various extensions of the Look-Compute-Move model, first proposed by Suzuki and Yamashita, providing a robust framework for protocol verification in different theoretical settings.

DOI

Cite 10.4230/LITES.8.2.2 Article Courtieu, P., Rieg, L., Tixeuil, S., & Urbain, X. (2022). Swarms of Mobile Robots: Towards Versatility with Safety. Leibniz Transactions on Embedded Systems, Vol. 8 No. 2 (2022): Special Issue on Distributed Hybrid Systems. https://doi.org/10.4230/LITES.8.2.2

575 Consultations
0 Téléchargements

Partager

  • More