论文数
5
总引用数
57
H-Index
4
关于
暂无简介。
研究焦点
Computer science5 · 57 次引用
Robot3 · 45 次引用
Artificial intelligence3 · 45 次引用
Astrobiology1 · 34 次引用
Mars Exploration Program1 · 34 次引用
Human–computer interaction1 · 34 次引用
Temporal logic2 · 13 次引用
Mathematics2 · 11 次引用
Formal specification1 · 8 次引用
Embedded system1 · 8 次引用
Program synthesis1 · 8 次引用
Algorithm1 · 8 次引用
主要成就
4
H 指数
5
论文
57
总引用数
11
篇均引用
🏆 最高被引论文
Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams
34 次引用 · 2018
📈 最高产年份: 2023 (2 论文)
🤝 主要合作者: 14
🏛 所属机构: California Institute of Technology, Eindhoven University of Technology
代表论文
- 1
- 2
- 3
- 4
- 5
主要合作者
CVCristian-Ioan Vasile2 篇合著论文RMRichard M. Murray2 篇合著论文RTRohan Thakker2 篇合著论文ZZZengjie Zhang1 篇合著论文DKDisha Kamale1 篇合著论文RNRicky Nilsson1 篇合著论文ADAaron D. Ames1 篇合著论文MEM.H.W. Engelaar1 篇合著论文MLMircea Lazar1 篇合著论文KOKyohei Otsu1 篇合著论文PNPetter Nilsson1 篇合著论文AAAli Agha1 篇合著论文AAAli‐akbar Agha‐mohammadi1 篇合著论文ZZZhenya Zhang1 篇合著论文
尚未生成