Armando Tacchella

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

论文数

18

总引用数

156

H-Index

8

关于

暂无简介。

研究焦点

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

主要成就

8
H 指数
18
论文
156
总引用数
9
篇均引用
🏆 最高被引论文
Conditional Behavior Trees: Definition, Executability, and Applications
21 次引用 · 2019
📈 最高产年份: 2016 (4 论文)
🤝 主要合作者: 44
🏛 所属机构: University of Genoa, Ingegneria dei Sistemi (Italy), Istituto per le Tecnologie Didattiche

代表论文

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

主要合作者

LNLorenzo Natale7 篇合著论文LPLuca Pulina6 篇合著论文FLFrancesco Leofante6 篇合著论文GMGiorgio Metta4 篇合著论文SPShashank Pathak4 篇合著论文MCMichele Colledanchise3 篇合著论文EÁErika Ábrahám3 篇合著论文SBStefano Bernagozzi2 篇合著论文AKAli Khalili2 篇合著论文MNMassimo Narizzano2 篇合著论文SVSimone Vuotto2 篇合著论文EGEnrico Ghiorzi2 篇合著论文GCGiuseppe Cicala2 篇合著论文RARazane Azrou1 篇合著论文YWYazz Warsame1 篇合著论文MKMichaela Klauck1 篇合著论文SPS.B. Pathak1 篇合著论文GCG. Chen1 篇合著论文SRStefano Rosa1 篇合著论文EGEleonora Giunchiglia1 篇合著论文
尚未生成