Mathilde Machin

Laboratoire d'Analyse et d'Architecture des Systèmes, Centre National de la Recherche Scientifique

Papers

Total Citations

283

H-Index

About

Dr. Mathilde Machin is a leading researcher in the safety and reliability of autonomous systems, with a primary focus on safety-critical robotics and formal verification. Her most influential work, the 2017 survey "Safety-critical advanced robots: A survey," has garnered 217 citations, establishing it as a foundational reference in the field. In this comprehensive review, Machin systematically categorizes the hazards and safety techniques for autonomous robots, bridging the gap between robotics and safety engineering. Her seminal contribution, the Safety Monitoring Framework (SMOF), introduced in 2016, provides a structured approach for runtime verification of autonomous systems, enabling real-time detection of unsafe behaviors in decisional architectures. With 66 citations, SMOF has become a key tool for researchers developing trustworthy robots. Machin's work is notable for its practical impact on the design of safety-critical systems—from autonomous vehicles to medical robots—and her research continues to shape how engineers ensure that intelligent machines operate safely alongside humans. Her contributions are essential reading for anyone working at the intersection of autonomy, artificial intelligence, and system safety.