Xavier D\'efago

Identifiers

• name variant Xavier D\'efago 0.60 · backfill

Papers (3)

1. Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space cs.DC · 2019 · author #1
2. Optimal Rendezvous ${\mathcal L}$-Algorithms for Asynchronous Mobile Robots with External-Lights cs.DC · 2018 · author #3
3. The Gathering Problem for Two Oblivious Robots with Unreliable Compasses cs.DC · 2011 · author #5

Mentions

• 1111.1492 #5 · backfill · confidence 0.70 Xavier D\'efago

Frequent Coauthors

• Koichi Wada 3 shared papers
• Adam Heriban 1 shared papers
• Masafumi Yamashita 1 shared papers
• Nobuhiro Inuzuka 1 shared papers
• Samia Souissi 1 shared papers
• S\'ebastien Tixeuil 1 shared papers
• Taisuke Izumi 1 shared papers
• Takashi Okumura 1 shared papers
• Yoshiaki Katayama 1 shared papers