Thibault Rivoalen

École Nationale de l’Aviation Civile

论文数

1

总引用数

3

H-Index

1

关于

暂无简介。

研究焦点

Artificial intelligence1 · 3 次引用
Computer science1 · 3 次引用
Human–computer interaction1 · 3 次引用
Model checking1 · 3 次引用
Notation1 · 3 次引用
Programming language1 · 3 次引用
Robot1 · 3 次引用
Simple (philosophy)1 · 3 次引用
Software engineering1 · 3 次引用
Systems engineering1 · 3 次引用
Task (project management)1 · 3 次引用

主要成就

1
H 指数
1
论文
3
总引用数
3
篇均引用
🏆 最高被引论文
CAN-verify: A Verification Tool For BDI Agents
3 次引用 · 2023
📈 最高产年份: 2023 (1 论文)
🤝 主要合作者: 3
🏛 所属机构: École Nationale de l’Aviation Civile

代表论文

  1. 1
    CAN-verify: A Verification Tool For BDI Agents
    3 次引用 · 2023

主要合作者

MXMengwei Xu1 篇合著论文BABlair Archibald1 篇合著论文MSMichele Sevegnani1 篇合著论文

联系与链接

可合作
内容已生成 · 12 天前