Tobias Schuele

University of Kaiserslautern

论文数

1

总引用数

15

H-Index

1

关于

暂无简介。

研究焦点

Artificial intelligence1 · 15 次引用
Code (set theory)1 · 15 次引用
Computation1 · 15 次引用
Computer science1 · 15 次引用
Control engineering1 · 15 次引用
Embedded system1 · 15 次引用
Engineering1 · 15 次引用
Formal verification1 · 15 次引用
Mobile robot1 · 15 次引用
Model checking1 · 15 次引用
Obstacle1 · 15 次引用
Obstacle avoidance1 · 15 次引用

主要成就

1
H 指数
1
论文
15
总引用数
15
篇均引用
🏆 最高被引论文
FORMAL VERIFICATION OF SAFETY BEHAVIOURS OF THE OUTDOOR ROBOT RAVON
15 次引用 · 2007
📈 最高产年份: 2007 (1 论文)
🤝 主要合作者: 3
🏛 所属机构: University of Kaiserslautern

代表论文

  1. 1
    FORMAL VERIFICATION OF SAFETY BEHAVIOURS OF THE OUTDOOR ROBOT RAVON
    15 次引用 · 2007

主要合作者

KSKlaus Schneider1 篇合著论文KBKarsten Berns1 篇合著论文MPMartin Proetzsch1 篇合著论文
尚未生成