Marcello M. Bersani

Politecnico di Milano

论文数

13

总引用数

144

H-Index

8

关于

暂无简介。

研究焦点

Computer science13 · 144 次引用
Human–computer interaction11 · 126 次引用
Artificial intelligence11 · 117 次引用
Software engineering11 · 113 次引用
Robot10 · 106 次引用
Domain (mathematical analysis)5 · 79 次引用
Programming language7 · 74 次引用
Engineering6 · 57 次引用
Systems engineering5 · 51 次引用
Service (business)5 · 49 次引用
Robotics3 · 46 次引用
Robotic paradigms2 · 42 次引用

主要成就

8
H 指数
13
论文
144
总引用数
11
篇均引用
🏆 最高被引论文
Specification, stochastic modeling and analysis of interactive service robotic applications
21 次引用 · 2023
📈 最高产年份: 2020 (5 论文)
🤝 主要合作者: 25
🏛 所属机构: Politecnico di Milano

代表论文

  1. 1
    Specification, stochastic modeling and analysis of interactive service robotic applications
    21 次引用 · 2023
  2. 2
    PuRSUE -from specification of robotic environments to synthesis of controllers
    21 次引用 · 2020
  3. 3
    RoboMAX: Robotic Mission Adaptation eXemplars
    20 次引用 · 2021
  4. 4
    Formal Verification of Human-Robot Interaction in Healthcare Scenarios
    14 次引用 · 2020
  5. 5
    A Deployment Framework for Formally Verified Human-Robot Interactions
    12 次引用 · 2021
  6. 6
    A Conceptual Framework for Explainability Requirements in Software-Intensive Systems
    11 次引用 · 2023
  7. 7
    Formal modeling and verification of multi-robot interactive scenarios in service settings
    11 次引用 · 2022
  8. 8
    Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior
    10 次引用 · 2022
  9. 9
    Teaching Formal Methods: An Experience Report
    7 次引用 · 2020
  10. 10
    A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios
    6 次引用 · 2020

主要合作者

MRMatteo Rossi11 篇合著论文LLLivia Lestingi9 篇合著论文MAMehrnoosh Askarpour7 篇合著论文CMClaudio Menghi3 篇合著论文PPPatrizio Pelliccione3 篇合著论文PSPatrizia Scandurra2 篇合著论文MCMatteo Camilli2 篇合著论文RMRaffaela Mirandola2 篇合著论文AMAndrea Manglaviti1 篇合著论文PSPasquale Scarmozzino1 篇合著论文LBLuca Berardinelli1 篇合著论文LMLuca Marinello1 篇合著论文MWManuel Wimmer1 篇合著论文TJTim J. von Oertzen1 篇合著论文GRGiorgio Romeo1 篇合著论文RCRadu Călinescu1 篇合著论文SGSergio García1 篇合著论文RCRicardo Caldas1 篇合著论文CTChristos Tsigkanos1 篇合著论文GSGabriel S. Rodrigues1 篇合著论文
尚未生成