Papers
1
Total Citations
2
H-Index
1
About
Xavier Thirioux is a researcher whose work bridges formal verification and robotics, with a particular focus on ensuring the safety and correctness of autonomous multi-agent systems. His key research areas include constraint-based verification, abstract interpretation, and collision-free motion planning for robot formations. Thirioux’s major contribution lies in developing a novel verification method that combines abstract interpretation with constraint satisfaction problems to formally assess the safety of formation control algorithms. This approach allows for rigorous, automated reasoning about complex robotic behaviors, addressing critical challenges in collision avoidance and motion planning. His most-cited paper, “Constraint-based Verification of Formation Control” (2021), demonstrates this methodology by verifying state-of-the-art control algorithms, providing a foundation for safer autonomous systems. While his citation count is still growing—reflecting the emerging nature of his work—Thirioux’s research is notable for its practical impact on safety-critical applications, such as drone swarms and autonomous vehicle coordination. His contributions are particularly valuable for students and researchers interested in the intersection of formal methods and robotics, offering a clear path toward provably safe multi-robot systems.
Research Focus
Key Achievements
Top Papers
- 1Constraint-based Verification of Formation Control2 citations · 2021