Picture for Maria Potop-Butucaru

Maria Potop-Butucaru

NPA, LINCS

Parameterized Verification of Algorithms for Oblivious Robots on a Ring

Add code
Jun 16, 2017
Figure 1 for Parameterized Verification of Algorithms for Oblivious Robots on a Ring
Figure 2 for Parameterized Verification of Algorithms for Oblivious Robots on a Ring
Viaarxiv icon

Emergent velocity agreement in robot networks

Add code
May 20, 2011
Figure 1 for Emergent velocity agreement in robot networks
Figure 2 for Emergent velocity agreement in robot networks
Figure 3 for Emergent velocity agreement in robot networks
Figure 4 for Emergent velocity agreement in robot networks
Viaarxiv icon

RoboCast: Asynchronous Communication in Robot Networks

Add code
Sep 23, 2010
Figure 1 for RoboCast: Asynchronous Communication in Robot Networks
Viaarxiv icon

Byzantine Convergence in Robots Networks: The Price of Asynchrony

Add code
Aug 04, 2009
Figure 1 for Byzantine Convergence in Robots Networks: The Price of Asynchrony
Figure 2 for Byzantine Convergence in Robots Networks: The Price of Asynchrony
Figure 3 for Byzantine Convergence in Robots Networks: The Price of Asynchrony
Figure 4 for Byzantine Convergence in Robots Networks: The Price of Asynchrony
Viaarxiv icon

Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks

Add code
Jun 03, 2009
Figure 1 for Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks
Figure 2 for Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks
Viaarxiv icon

Optimal byzantine resilient convergence in oblivious robot networks

Add code
May 25, 2009
Figure 1 for Optimal byzantine resilient convergence in oblivious robot networks
Figure 2 for Optimal byzantine resilient convergence in oblivious robot networks
Figure 3 for Optimal byzantine resilient convergence in oblivious robot networks
Figure 4 for Optimal byzantine resilient convergence in oblivious robot networks
Viaarxiv icon