Laure Millet

Centre National de la Recherche Scientifique

Papers

Total Citations

H-Index

About

Laure Millet is a leading researcher in the formal verification of mobile robot algorithms, a field at the intersection of distributed computing, robotics, and formal methods. Her work focuses on ensuring the correctness and reliability of protocols that govern the behavior of autonomous mobile robots, particularly in tasks like gathering and pattern formation. Millet's most influential contribution is her 2016 paper on the formal verification of mobile robot protocols, which has garnered 38 citations and stands as a cornerstone in the area. She also made significant strides with her 2014 work on the synthesis of robot algorithms for ring gathering, cited 33 times, demonstrating how formal techniques can guarantee that robots achieve collective goals without centralized control. Her invited paper in 2015, "Formal Methods for Mobile Robots: Current Results and Open Problems," presented to an international audience, synthesizes the state of the art and outlines key challenges, earning 5 citations. Millet's research has been disseminated in both English and French (e.g., her 2013 paper "Vérification formelle et robots mobiles"), reflecting her commitment to bridging communities. Her work is essential for advancing trustworthy autonomous systems, with direct implications for safety-critical applications in exploration, surveillance, and disaster response.