Armando Tacchella

University of Genoa, Ingegneria dei Sistemi (Italy), Istituto per le Tecnologie Didattiche

Papers

18

Total Citations

156

H-Index

8

About

No biography available yet.

Research Focus

Computer science18 · 156 citations
Artificial intelligence16 · 139 citations
Robot14 · 122 citations
Programming language8 · 69 citations
Software engineering7 · 62 citations
Theoretical computer science5 · 58 citations
Robotics5 · 44 citations
Task (project management)5 · 40 citations
Engineering6 · 39 citations
Distributed computing3 · 37 citations
Systems engineering4 · 37 citations
Action (physics)2 · 36 citations

Key Achievements

8
H-Index
18
Papers
156
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
Conditional Behavior Trees: Definition, Executability, and Applications
21 citations · 2019
📈 Most Prolific Year: 2016 (4 Papers)
🤝 Key Collaborators: 44
🏛 Institutions: University of Genoa, Ingegneria dei Sistemi (Italy), Istituto per le Tecnologie Didattiche

Top Papers

  1. 1
    Conditional Behavior Trees: Definition, Executability, and Applications
    21 citations · 2019
  2. 2
    Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics
    20 citations · 2018
  3. 3
    Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub
    17 citations · 2013
  4. 4
    Improving Reliability of Myocontrol Using Formal Verification
    15 citations · 2019
  5. 5
    Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals
    14 citations · 2018
  6. 6
    Formalizing the Execution Context of Behavior Trees for Runtime Verification of Deliberative Policies
    12 citations · 2021
  7. 7
    Safe and effective learning: A case study
    8 citations · 2010
  8. 8
    Engineering Approaches and Methods to Verify Software in Autonomous Systems
    8 citations · 2015
  9. 9
    Evaluating probabilistic model checking tools for verification of robot control policies
    6 citations · 2016
  10. 10
    SMT-based Planning for Robots in Smart Factories
    6 citations · 2019

Key Collaborators

LNLorenzo Natale7 shared papersLPLuca Pulina6 shared papersFLFrancesco Leofante6 shared papersGMGiorgio Metta4 shared papersSPShashank Pathak4 shared papersMCMichele Colledanchise3 shared papersEÁErika Ábrahám3 shared papersSBStefano Bernagozzi2 shared papersAKAli Khalili2 shared papersMNMassimo Narizzano2 shared papersSVSimone Vuotto2 shared papersEGEnrico Ghiorzi2 shared papersGCGiuseppe Cicala2 shared papersRARazane Azrou1 shared papersYWYazz Warsame1 shared papersMKMichaela Klauck1 shared papersSPS.B. Pathak1 shared papersGCG. Chen1 shared papersSRStefano Rosa1 shared papersEGEleonora Giunchiglia1 shared papers
Not generated yet