Papers
13
Total Citations
231
H-Index
7
About
Axel Legay is a leading researcher at the intersection of formal methods, robotics, and assistive technology. His work centers on statistical model checking, motion planning, and security-driven design, with a particular focus on developing intelligent systems that enhance mobility and safety for vulnerable populations. Legay’s most impactful contributions include the DALi approach for navigating older adults through complex public spaces (72 citations) and pioneering statistical model checking techniques that verify system behavior in real time. He has advanced robot motion planning by integrating social force models with formal verification, enabling robots to anticipate and avoid undesirable interactions in crowded environments—a breakthrough that has garnered over 24 citations. His research also addresses critical challenges in component-based verification and incremental design, with applications ranging from autonomous robotic systems to secure vision-based applications. With a portfolio of highly cited papers spanning from 2011 to 2023, Legay has demonstrated sustained impact in making assistive robots more adaptive and trustworthy. His recent work on DevSecOps practices for product security risk assessment further underscores his commitment to bridging formal methods with real-world engineering challenges.
Research Focus
Key Achievements
Top Papers
- 1
- 2Statistical model checking: challenges and perspectives32 citations · 2015
- 3
- 4
- 5Component-based verification using incremental design and invariants18 citations · 2014
- 6
- 7
- 8Statistical Model Checking with Change Detection7 citations · 2016
- 9
- 10Product Incremental Security Risk Assessment Using DevSecOps Practices6 citations · 2023