Arnaud Saval
Papers
2
Total Citations
10
H-Index
2
About
Arnaud Saval is a researcher in multi-agent systems (MAS), with a focused interest in formal specification, verification, and implementation of autonomous agent behaviors. His work centers on goal-oriented agent models, particularly the Goal Decomposition Tree (GDT), which he demonstrates in his most-cited paper, "Specifying and Verifying a MAS: The Robots on Mars Case Study" (6 citations). This case study, along with its companion paper (4 citations), shows how Saval’s GDT framework enables designers to formally prove that agents will achieve their objectives—here, cleaning garbage on Mars—before implementation. By bridging the gap between abstract specification and concrete verification, Saval’s contributions help ensure reliability in complex, autonomous systems. Though his citation counts are modest, his work is notable for its clarity in demonstrating how formal methods can be applied to realistic MAS scenarios, offering a practical tool for researchers and engineers building dependable multi-agent systems.
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