research
∙
05/20/2021
Unreliable Sensors for Reliable Efficient Robots
The vast majority of existing Distributed Computing literature about mob...
research
∙
07/23/2019
Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space
The paper details the first successful attempt at using model-checking t...
research
∙
08/21/2017