Enrico Ghiorzi

Italian Institute of Technology

论文数

2

总引用数

10

H-Index

2

关于

暂无简介。

研究焦点

Robot2 · 10 次引用
Computer science2 · 10 次引用
Artificial intelligence2 · 10 次引用
Linear temporal logic1 · 6 次引用
Algorithm1 · 6 次引用
Task (project management)1 · 6 次引用
Engineering1 · 6 次引用
Temporal logic1 · 6 次引用
Theoretical computer science1 · 6 次引用
Verifiable secret sharing1 · 4 次引用
Programming language1 · 4 次引用
Robotics1 · 4 次引用

主要成就

2
H 指数
2
论文
10
总引用数
5
篇均引用
🏆 最高被引论文
Learning Linear Temporal Properties for Autonomous Robotic Systems
6 次引用 · 2023
📈 最高产年份: 2023 (1 论文)
🤝 主要合作者: 20
🏛 所属机构: Italian Institute of Technology

代表论文

  1. 1
    Learning Linear Temporal Properties for Autonomous Robotic Systems
    6 次引用 · 2023
  2. 2
    Towards a Verifiable Toolchain for Robotics
    4 次引用 · 2024

主要合作者

SBStefano Bernagozzi2 篇合著论文LNLorenzo Natale2 篇合著论文ATArmando Tacchella2 篇合著论文MKMichaela Klauck1 篇合著论文MRMarco Randazzo1 篇合著论文SRStefano Rosa1 篇合著论文YWYazz Warsame1 篇合著论文RARazane Azrou1 篇合著论文MMMasoumeh Mansouri1 篇合著论文MMMatteo Morelli1 篇合著论文CSCharlie Street1 篇合著论文GCG. Chen1 篇合著论文DWDanielle Wallis1 篇合著论文RLRaphaël Lallement1 篇合著论文RLRalph Lange1 篇合著论文MLMarco Lampacrescia1 篇合著论文GPGianluca Piquet1 篇合著论文MPMatteo Palmas1 篇合著论文MCMichele Colledanchise1 篇合著论文CHChristian Henkel1 篇合著论文
尚未生成