Adam Heriban

According to our database, Adam Heriban authored at least 7 papers between 2018 and 2023.

Collaborative distances:

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

2023

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

Robotics Auton. Syst., May, 2023

2021

Mobile Robots with Uncertain Visibility Sensors: Possibility Results and Lower Bounds.

Adam Heriban, Sébastien Tixeuil

Parallel Process. Lett., 2021

Unreliable Sensors for Reliable Efficient Robots.

Adam Heriban, Sébastien Tixeuil

CoRR, 2021

2020

Networks of Realistic Robots. (Réseaux de Robots Réalistes).

Adam Heriban

PhD thesis, 2020

2019

Brief Announcement: Model Checking Rendezvous Algorithms for Robots with Lights in Euclidean Space.

Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada

Proceedings of the 33rd International Symposium on Distributed Computing, 2019

Mobile Robots with Uncertain Visibility Sensors.

Adam Heriban, Sébastien Tixeuil

Proceedings of the Structural Information and Communication Complexity, 2019

2018

Optimally Gathering Two Robots.

Adam Heriban, Xavier Défago, Sébastien Tixeuil

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