Robin Pelle

According to our database, Robin Pelle authored at least 5 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Computer Aided Formal Design of Swarm Robotics Algorithms.

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021

2020

Contribution à la modélisation formelle d'essaims de robots mobiles. (Contribution to the formal modelling of mobile robot swarms).

Robin Pelle

PhD thesis, 2020

2019

Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Networked Systems - 7th International Conference, 2019

2018

Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.

Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs.

Thibaut Balabonski, Robin Pelle, Lionel Rieg, Sébastien Tixeuil

Proceedings of the 19th International Conference on Distributed Computing and Networking, 2018