Ha Thi Thu Doan, Adrián Riesco 0001, Kazuhiro Ogata 0001. An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms. In Mohsen Ghaffari, Mikhail Nesterenko, Sébastien Tixeuil, Sara Tucci, Yukiko Yamauchi, editors, Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings. Volume 11914 of Lecture Notes in Computer Science, pages 111-126, Springer, 2019. [doi]
Abstract is missing.