Thibault Rivoalen
Papers
1
Total Citations
3
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 3 citations
Computer science1 · 3 citations
Human–computer interaction1 · 3 citations
Model checking1 · 3 citations
Notation1 · 3 citations
Programming language1 · 3 citations
Robot1 · 3 citations
Simple (philosophy)1 · 3 citations
Software engineering1 · 3 citations
Systems engineering1 · 3 citations
Task (project management)1 · 3 citations
Key Achievements
1
H-Index
1
Papers
3
Total Citations
3
Avg Citations/Paper
🏆 Most Cited Paper
CAN-verify: A Verification Tool For BDI Agents
3 citations · 2023
📈 Most Prolific Year: 2023 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: École Nationale de l’Aviation Civile
Top Papers
- 1CAN-verify: A Verification Tool For BDI Agents3 citations · 2023
Key Collaborators
Not generated yet