Matteo Tadiello

Papers

Total Citations

H-Index

About

Matteo Tadiello is a researcher whose work sits at the intersection of formal verification, robotics, and dependable autonomous systems. His primary research focus is on ensuring the safety and correctness of decision-making architectures, particularly through the formal verification of Behaviour Trees (BTs) using the Event-B method. In his most cited work, "Verifying Safety of Behaviour Trees in Event-B" (2022), Tadiello addresses a critical challenge in robotics: how to mathematically prove that a robot’s behaviour—designed to be both complex and human-explainable—is safe by construction. This contribution is foundational for building trust in autonomous systems, as it bridges the gap between intuitive, modular BT design and rigorous, machine-checked safety proofs. While his citation count is still growing, reflecting the early stage of his impactful career, his work is already recognized as a key step toward certifiable robotic decision-making. Tadiello’s research is particularly valuable for students and engineers seeking to integrate formal methods into practical robotics, offering a clear pathway from high-level behaviour design to verified, fail-safe execution.