Author of the publication

Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space.

, , , and . CoRR, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Stand Up Indulgent Rendezvous., , and . SSS, volume 12514 of Lecture Notes in Computer Science, page 45-59. Springer, (2020)Optimal torus exploration by oblivious robots., , , and . Computing, 101 (9): 1241-1264 (2019)Uniform bipartition in the population protocol model with arbitrary graphs., , , and . Theor. Comput. Sci., (2021)Stand Up Indulgent Gathering., , and . CoRR, (2023)Stand-Up Indulgent Gathering on Lines for Myopic Luminous Robots., , , , , , and . CoRR, (2023)Asynchronous Scattering., and . CoRR, (2019)Swarms of Mobile Robots: Towards Versatility with Safety., , , and . Leibniz Trans. Embed. Syst., 8 (2): 02:1-02:36 (2022)On the Encoding and Solving of Partial Information Games., , , , , and . NETYS, volume 12129 of Lecture Notes in Computer Science, page 60-76. Springer, (2020)Realistic Self-Stabilization (Invited Talk).. OPODIS, volume 253 of LIPIcs, page 3:1-3:1. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Offline Constrained Backward Time Travel Planning., , and . SSS, volume 14310 of Lecture Notes in Computer Science, page 466-480. Springer, (2023)