Papers
1
Total Citations
7
H-Index
1
About
Marc Laval is a researcher focused on safety-critical autonomous systems, with particular expertise in the synthesis of safety rules for active monitoring in dynamic environments. His most-cited work, "Synthesis of Safety Rules for Active Monitoring: Application to an Airport Light Measurement Robot" (2017, 7 citations), addresses a pressing challenge in robotics: ensuring safe human-robot collaboration in complex, real-world settings. Laval’s contributions center on developing formal methods to generate and enforce safety constraints that allow autonomous systems—such as robots in airports, industrial floors, or public spaces—to operate reliably despite unpredictable hazards. By applying these techniques to an airport light measurement robot, he demonstrates practical solutions for mitigating risks in environments where humans and machines interact closely. Though his citation count is modest, Laval’s work is notable for bridging theoretical safety verification with tangible applications, offering a framework that can be extended to hospitals, warehouses, and other public domains. His research is particularly relevant as autonomous systems become more prevalent, providing a foundation for trustworthy, hazard-aware robot behavior that prioritizes human safety without sacrificing operational efficiency.
Research Focus
Key Achievements
Top Papers
- 1