Maryam Ghaffari Saadat
Papers
1
Total Citations
1
H-Index
1
About
Dr. Maryam Ghaffari Saadat is a leading researcher in formal methods and swarm robotics, with a focus on the specification and verification of decentralised multi-agent systems. Her most-cited work, "Specification and Verification of the Alpha Swarm Algorithm using NuXMV and GROOVE," addresses a critical challenge in swarm robotics: ensuring that individual robot behaviours reliably produce desired collective outcomes without a central controller. By employing two complementary verification frameworks, she demonstrates how to rigorously model and validate swarm algorithms, bridging the gap between theoretical guarantees and practical implementation. This contribution is foundational for building trustworthy autonomous systems, with applications ranging from search-and-rescue to environmental monitoring. Dr. Saadat’s research has already garnered attention, with her work cited in emerging studies on formal verification of distributed systems. Her achievements include advancing the use of model checking in robotics, a field where safety and correctness are paramount. For students and researchers, her work offers a compelling roadmap for applying formal methods to complex, real-world swarm intelligence problems.
Research Focus
Key Achievements
Top Papers
- 1