Matteo Palmas

University of Genoa, Robert Bosch (Germany)

论文数

3

总引用数

11

H-Index

2

关于

暂无简介。

研究焦点

Robot3 · 11 次引用
Artificial intelligence3 · 11 次引用
Computer science3 · 11 次引用
Robotics2 · 9 次引用
Machine learning1 · 5 次引用
Software engineering1 · 5 次引用
Bridge (graph theory)1 · 5 次引用
Robustness (evolution)1 · 5 次引用
Verifiable secret sharing1 · 4 次引用
Software1 · 4 次引用
Toolchain1 · 4 次引用
Programming language1 · 4 次引用

主要成就

2
H 指数
3
论文
11
总引用数
4
篇均引用
🏆 最高被引论文
Towards Verifying Robotic Systems Using Statistical Model Checking in STORM
5 次引用 · 2024
📈 最高产年份: 2024 (3 论文)
🤝 主要合作者: 20
🏛 所属机构: University of Genoa, Robert Bosch (Germany)

代表论文

  1. 1
    Towards Verifying Robotic Systems Using Statistical Model Checking in STORM
    5 次引用 · 2024
  2. 2
    Towards a Verifiable Toolchain for Robotics
    4 次引用 · 2024
  3. 3
    Towards Robust Autonomous Robots Using Statistical Model Checking
    2 次引用 · 2024

主要合作者

MKMichaela Klauck3 篇合著论文MLMarco Lampacrescia2 篇合著论文CHChristian Henkel2 篇合著论文SRStefano Rosa1 篇合著论文YWYazz Warsame1 篇合著论文RARazane Azrou1 篇合著论文MMMasoumeh Mansouri1 篇合著论文SKSelma Kchir1 篇合著论文MMMatteo Morelli1 篇合著论文CSCharlie Street1 篇合著论文GCG. Chen1 篇合著论文DWDanielle Wallis1 篇合著论文EGEnrico Ghiorzi1 篇合著论文RMR. M. Lange1 篇合著论文RLRaphaël Lallement1 篇合著论文RLRalph Lange1 篇合著论文SBStefano Bernagozzi1 篇合著论文ATArmando Tacchella1 篇合著论文LNLorenzo Natale1 篇合著论文MRMarco Randazzo1 篇合著论文
尚未生成