Alexandre Chapoutot

Université Paris-Saclay, École Nationale Supérieure de Techniques Avancées

Papers

Total Citations

H-Index

About

Alexandre Chapoutot is a leading researcher at the intersection of robotics, formal verification, and control theory, with a core focus on ensuring safety and reliability in autonomous systems. His work addresses the critical challenge of modeling robotic behaviors under bounded uncertainties—where imprecise parameters and model simplifications threaten performance in high-stakes fields like medicine and defense. Chapoutot’s major contributions include pioneering formal verification methods that combine abstract interpretation with constraint satisfaction problems, enabling provably safe motion planning and navigation for mobile robots. His 2017 paper on formal verification of robotic behaviors, with 11 citations, lays the groundwork for robust autonomous decision-making, while subsequent studies on reliable navigation planning (4 citations) and collision-free formation control (2 citations) demonstrate practical implementations on two-wheeled mobile robots. By guaranteeing safe paths and behaviors even in uncertain environments, Chapoutot’s research bridges the gap between theoretical guarantees and real-world deployment, making him a key figure in advancing trustworthy robotics for critical applications.