Optimally Gathering Two Robots. - Adam Heriban; Xavier Défago; Sébastien Tixeuil (ICDCN, 2018)

Mobile Robots with Uncertain Visibility Sensors. - Adam Heriban; Sébastien Tixeuil (SIROCCO, 2019)

Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space. - Xavier Défago; Adam Heriban; Sébastien Tixeuil; Koichi Wada 001 (DISC, 2019)

Networks of Realistic Robots. (Réseaux de Robots Réalistes). - Adam Heriban (2020)

Unreliable Sensors for Reliable Efficient Robots. - Adam Heriban; Sébastien Tixeuil (CoRR, 2021)

Mobile Robots with Uncertain Visibility Sensors: Possibility Results and Lower Bounds. - Adam Heriban; Sébastien Tixeuil (Parallel Process. Lett., 2021)

Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean space. - Xavier Défago; Adam Heriban; Sébastien Tixeuil; Koichi Wada 001 (Robotics Auton. Syst., 2023)