Login / Signup
Robin Pelle
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 5
Top Topics
Mobile Robot
Discrete Valued
Process Planning
Continuous Space
Top Venues
SSS
CoRR
NETYS
ICDCN
</>
Publications
</>
Thibaut Balabonski
,
Pierre Courtieu
,
Robin Pelle
,
Lionel Rieg
,
Sébastien Tixeuil
,
Xavier Urbain
Computer Aided Formal Design of Swarm Robotics Algorithms.
CoRR
(2021)
Thibaut Balabonski
,
Pierre Courtieu
,
Robin Pelle
,
Lionel Rieg
,
Sébastien Tixeuil
,
Xavier Urbain
Computer Aided Formal Design of Swarm Robotics Algorithms.
SSS
(2021)
Thibaut Balabonski
,
Pierre Courtieu
,
Robin Pelle
,
Lionel Rieg
,
Sébastien Tixeuil
,
Xavier Urbain
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.
NETYS
(2019)
Thibaut Balabonski
,
Pierre Courtieu
,
Robin Pelle
,
Lionel Rieg
,
Sébastien Tixeuil
,
Xavier Urbain
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.
SSS
(2018)
Thibaut Balabonski
,
Robin Pelle
,
Lionel Rieg
,
Sébastien Tixeuil
A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs.
ICDCN
(2018)