Armando Taccella

Papers

Total Citations

H-Index

About

Armando Taccella is a leading researcher in the formal verification and modelling of multi-agent robotic systems, with a particular focus on swarm robotics. His work addresses a fundamental challenge in the field: how to guarantee that the emergent global behavior of a decentralized robot swarm meets critical safety and performance specifications. Taccella’s key contribution lies in bridging the gap between continuous physical dynamics and discrete computational logic, treating robot swarms as hybrid systems. His pioneering paper, "Robot Swarms as Hybrid Systems: Modelling and Verification" (2022), has already garnered 3 citations, establishing a foundational framework for applying formal methods to swarm control. By enabling rigorous verification of individual robot algorithms before deployment, Taccella’s research promises to unlock the full potential of swarms for real-world applications, from environmental monitoring to disaster response. His work is essential reading for anyone interested in the intersection of robotics, control theory, and formal verification.