Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada. Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space. In International Symposium on Reliable Distributed Systems, SRDS 2020, Shanghai, China, September 21-24, 2020. pages 113-122, IEEE, 2020. [doi]
Abstract is missing.