research
∙
06/14/2023
Complete Visibility Algorithm for Autonomous Mobile Luminous Robots under an Asynchronous Scheduler on Grid Plane
An autonomous mobile robot system is a distributed system consisting of ...
share
research
∙
03/13/2022
On the Computational Power of Energy-Constrained Mobile Robots: Algorithms and Cross-Model Analysis
We consider distributed systems of identical autonomous computational en...
research
∙
01/14/2021
Asynchronous Gathering in a Torus
We consider the gathering problem for asynchronous and oblivious robots ...
research
∙
09/30/2020
Pairbot: A Novel Model for Autonomous Mobile Robot Systems Consisting of Paired Robots
Programmable matter consists of many self-organizing computational entit...
research
∙
11/12/2019
Gathering on Rings for Myopic Asynchronous Robots with Lights
We investigate gathering algorithms for asynchronous autonomous mobile r...
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
∙
07/02/2019
Efficient Circuit Simulation in MapReduce
The MapReduce framework has firmly established itself as one of the most...
research
∙
03/07/2019
Neighborhood Mutual Remainder: Self-Stabilizing Implementation of Look-Compute-Move Robots (Extended Abstract)
Local mutual exclusion guarantees that no two neighboring processes ente...
research
∙
11/29/2018
Gathering Problems for Autonomous Mobile Robots with Lights
We study the Gathering problem for n autonomous mobile robots in semi-sy...
research
∙
04/04/2018