Yann Le Guyadec
Papers
3
Total Citations
8
H-Index
2
About
Yann Le Guyadec is a researcher specializing in formal methods for multi-agent robotics, with a focus on specification, verification, and architectural design of complex robotic systems. His work addresses the critical challenge of ensuring reliability in concurrent, dynamically changing robotic environments through rigorous formal approaches. Le Guyadec introduced the HoRoCoL language for controlling robotic "Atoms," providing both informal semantics and execution models that advance collective robotics. His 2009 case study on formal specification and verification of multi-agent robotics software systems (4 citations) demonstrates practical application of these methods, while his 2015 work on formal requirement and architecture specifications (2 citations) tackles the complexity of specifying concurrent multi-agent systems with dynamic environments. Though his citation counts are modest, Le Guyadec's contributions lie in bridging the gap between formal verification techniques and practical multi-agent robotic systems, offering foundational frameworks for ensuring correctness in distributed robotic architectures. His research remains relevant for engineers and researchers working on reliable, verifiable multi-agent robotic systems.
Research Focus
Key Achievements
Top Papers
- 1
- 2Using HoRoCoL to control robotics Atoms2 citations · 2006
- 3