Tobias Schuele
Papers
1
Total Citations
15
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 15 citations
Code (set theory)1 · 15 citations
Computation1 · 15 citations
Computer science1 · 15 citations
Control engineering1 · 15 citations
Embedded system1 · 15 citations
Engineering1 · 15 citations
Formal verification1 · 15 citations
Mobile robot1 · 15 citations
Model checking1 · 15 citations
Obstacle1 · 15 citations
Obstacle avoidance1 · 15 citations
Key Achievements
1
H-Index
1
Papers
15
Total Citations
15
Avg Citations/Paper
🏆 Most Cited Paper
FORMAL VERIFICATION OF SAFETY BEHAVIOURS OF THE OUTDOOR ROBOT RAVON
15 citations · 2007
📈 Most Prolific Year: 2007 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: University of Kaiserslautern
Top Papers
- 1FORMAL VERIFICATION OF SAFETY BEHAVIOURS OF THE OUTDOOR ROBOT RAVON15 citations · 2007
Key Collaborators
Not generated yet