Bruno Mermet
Papers
2
Total Citations
10
H-Index
2
About
Bruno Mermet is a researcher focused on the formal specification, verification, and implementation of multi-agent systems (MAS). His work centers on goal-oriented agent models, particularly the Goal Decomposition Tree (GDT), which provides a rigorous framework for designing and proving the correctness of agent behaviors. Mermet’s most cited paper, “Specifying and Verifying a MAS: The Robots on Mars Case Study” (2008, 6 citations), demonstrates this approach through a classic example of robots cleaning garbage on Mars. A follow-up paper (2008, 4 citations) extends the work by showing how the GDT model enables both verification and implementation of the same MAS. While his citation counts are modest, Mermet’s contributions are notable for bridging the gap between theoretical agent specifications and practical, verifiable implementations. His case studies serve as clear, pedagogical examples for researchers and students interested in formal methods for multi-agent systems, emphasizing how logical proofs can ensure that autonomous agents behave as intended in complex environments.
Research Focus
Key Achievements
Top Papers
- 1Specifying and Verifying a MAS:The Robots on Mars Case Study6 citations · 2008
- 2Specifying, Verifying and Implementing a MAS: A case study4 citations · 2008