Dino Mandrioli

Politecnico di Milano

论文数

8

总引用数

212

H-Index

5

关于

暂无简介。

研究焦点

Computer science8 · 212 次引用
Human–computer interaction6 · 206 次引用
Software engineering5 · 203 次引用
Artificial intelligence5 · 198 次引用
Robot4 · 195 次引用
Workspace3 · 175 次引用
Engineering5 · 160 次引用
Programming language5 · 139 次引用
Human–robot interaction2 · 133 次引用
Robotics2 · 133 次引用
Systems engineering2 · 133 次引用
Risk analysis (engineering)2 · 82 次引用

主要成就

5
H 指数
8
论文
212
总引用数
27
篇均引用
🏆 最高被引论文
Safety Assessment of Collaborative Robotics Through Automated Formal Verification
71 次引用 · 2019
📈 最高产年份: 2019 (3 论文)
🤝 主要合作者: 8
🏛 所属机构: Politecnico di Milano

代表论文

  1. 1
    Safety Assessment of Collaborative Robotics Through Automated Formal Verification
    71 次引用 · 2019
  2. 2
    Formal model of human erroneous behavior for safety analysis in collaborative robotics
    62 次引用 · 2019
  3. 3
    SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration
    42 次引用 · 2016
  4. 4
    Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications
    20 次引用 · 2017
  5. 5
    Formal Methods in Designing Critical Cyber-Physical Systems
    8 次引用 · 2019
  6. 6
    Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis
    4 次引用 · 2012
  7. 7
    A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications
    3 次引用 · 2018
  8. 8
    A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications
    2 次引用 · 2016

主要合作者

MRMatteo Rossi7 篇合著论文MAMehrnoosh Askarpour6 篇合著论文FVFederico Vicentini5 篇合著论文LFLuca Ferrucci2 篇合著论文AMAngelo Morzenti2 篇合著论文CGCarlo Ghezzi1 篇合著论文CTChristos Tsigkanos1 篇合著论文MRMatteo Rossi1 篇合著论文
尚未生成