Yuchen Zhou

University of Maryland, College Park

论文数

4

总引用数

69

H-Index

4

关于

暂无简介。

研究焦点

Computer science4 · 69 次引用
Programming language3 · 59 次引用
Mathematics3 · 59 次引用
Task (project management)3 · 59 次引用
Temporal logic3 · 59 次引用
Theoretical computer science3 · 59 次引用
Automaton3 · 59 次引用
Linear temporal logic3 · 59 次引用
Metric (unit)3 · 59 次引用
Engineering3 · 53 次引用
Artificial intelligence3 · 53 次引用
Robot2 · 47 次引用

主要成就

4
H 指数
4
论文
69
总引用数
17
篇均引用
🏆 最高被引论文
Timed automata approach for motion planning using metric interval temporal logic
37 次引用 · 2016
📈 最高产年份: 2016 (2 论文)
🤝 主要合作者: 2
🏛 所属机构: University of Maryland, College Park

代表论文

  1. 1
    Timed automata approach for motion planning using metric interval temporal logic
    37 次引用 · 2016
  2. 2
    Optimal mission planner with timed temporal logic constraints
    16 次引用 · 2015
  3. 3
    CPS Modeling Integration Hub and Design Space Exploration with Application to Microrobotics
    10 次引用 · 2013
  4. 4
    Timed Automata Approach for Motion Planning Using Metric Interval Temporal Logic
    6 次引用 · 2016

主要合作者

JSJohn S. Baras4 篇合著论文DMDipankar Maity3 篇合著论文
尚未生成