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

Re-assign community