Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space.

Xavier Dfago, Adam Heriban, Sbastien Tixeuil, Koichi Wada

Browse the full SRDS paper archive.