Radboud Duintjer Tebbens
Papers
1
Total Citations
62
H-Index
1
About
No biography available yet.
Research Focus
Abstraction1 · 62 citations
Artificial intelligence1 · 62 citations
Computer science1 · 62 citations
Finite-state machine1 · 62 citations
Focus (optics)1 · 62 citations
Formal methods1 · 62 citations
Formal specification1 · 62 citations
Formal verification1 · 62 citations
Human–computer interaction1 · 62 citations
Perspective (graphical)1 · 62 citations
Programming language1 · 62 citations
Robot1 · 62 citations
Key Achievements
1
H-Index
1
Papers
62
Total Citations
62
Avg Citations/Paper
🏆 Most Cited Paper
Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges
62 citations · 2023
📈 Most Prolific Year: 2023 (1 Papers)
🤝 Key Collaborators: 3
Top Papers
- 1
Key Collaborators
Not generated yet