Bruno Zanuttini

Papers

Total Citations

H-Index

About

Bruno Zanuttini is a researcher whose work centers on the formal specification, verification, and implementation of multi-agent systems (MAS). His major contributions lie in advancing goal-oriented agent models, particularly through the development and demonstration of the Goal Decomposition Tree (GDT) framework. This model provides a rigorous, formal method for designing and proving properties of autonomous agents operating in complex environments. Zanuttini’s most cited work, "Specifying and Verifying a MAS: The Robots on Mars Case Study" (2008, 6 citations), along with its companion paper (4 citations), uses a compelling Mars-based robotics scenario to illustrate how the GDT model can be applied to verify agent behavior and ensure system correctness. By bridging the gap between abstract specification and concrete implementation, his research offers practical tools for building reliable, verifiable multi-agent systems. Though his citation counts are modest, his case-study-driven approach provides a clear, accessible entry point for students and researchers interested in formal methods for agent-based systems, demonstrating how theoretical models can be tested and validated on realistic problems.