Silicon Valley Community Foundation
🇺🇸 US
论文数
2
总引用数
33
H-Index
2
研究人员
2
关于
暂无简介。
研究焦点
主要成就
2
H 指数
2
论文
33
总引用数
2
教职员与研究人员
🏆 最高被引论文
Formal verification of human-robot teamwork
17 次引用 · 2009
📊 篇均引用: 17
📈 最高产年份: 2009 (1)
🔬 研究焦点: Artificial intelligence, Computer science, Robot, Programming language, Formal verification, Human–robot interaction
代表论文
- 1Formal verification of human-robot teamwork17 次引用 · 2009
- 2
教职员与研究人员
…
尚未生成