Christophe Garion
Institut Superieur de l'Aeronautique et de l'Espace (ISAE-SUPAERO)
Papers
1
Total Citations
2
H-Index
1
About
Christophe Garion is a researcher whose work sits at the intersection of formal verification, robotics, and safety-critical systems. His primary contributions lie in developing rigorous, mathematically grounded methods to ensure the safe operation of autonomous multi-agent systems. Notably, his work on "Constraint-based Verification of Formation Control" (2021) introduces a novel approach that combines abstract interpretation with constraint satisfaction problems to verify collision-free motion planning for robot formations—a critical property for safety assurance. While his citation count is still growing, this work represents a foundational step toward bridging the gap between control algorithms and formal verification. Garion’s research is particularly relevant for students and engineers working on autonomous systems, as it provides a framework to mathematically guarantee safety properties that are often only tested empirically. His approach offers a path toward certifying the behavior of complex robotic swarms, making his contributions valuable for both theoretical computer science and practical robotics engineering.
Research Focus
Key Achievements
Top Papers
- 1Constraint-based Verification of Formation Control2 citations · 2021