Papers
18
Total Citations
156
H-Index
8
About
Armando Tacchella is a leading researcher at the intersection of robotics, formal verification, and artificial intelligence, with a primary focus on ensuring the safety and reliability of autonomous systems. His work centers on developing rigorous, mathematically grounded methods to verify and control robot behavior, particularly in complex, real-world environments like logistics and smart factories. A key contribution is his pioneering work on **Conditional Behavior Trees (CBTs)** , an extension of standard Behavior Trees that enables more expressive and verifiable action policies for deliberative robotics. Tacchella’s research uniquely bridges the gap between learning and safety; for instance, his highly cited work on the iCub robot demonstrates how to formally guarantee low collision probability for policies learned via reinforcement learning. He has also advanced the field of **myocontrol** for assistive prosthetics, applying formal verification to improve the reliability of biosignal interpretation. With over 100 citations across his most influential papers, Tacchella’s impact is evident in his development of scalable verification tools, including SMT-based planning and probabilistic model checking, which are critical for deploying trustworthy autonomous systems in high-stakes applications.
Research Focus
Key Achievements
Top Papers
- 1Conditional Behavior Trees: Definition, Executability, and Applications21 citations · 2019
- 2
- 3
- 4Improving Reliability of Myocontrol Using Formal Verification15 citations · 2019
- 5
- 6
- 7Safe and effective learning: A case study8 citations · 2010
- 8
- 9
- 10SMT-based Planning for Robots in Smart Factories6 citations · 2019