Yuchen Zhou

University of Maryland, College Park

Papers

4

Total Citations

69

H-Index

4

About

No biography available yet.

Research Focus

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

Key Achievements

4
H-Index
4
Papers
69
Total Citations
17
Avg Citations/Paper
🏆 Most Cited Paper
Timed automata approach for motion planning using metric interval temporal logic
37 citations · 2016
📈 Most Prolific Year: 2016 (2 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: University of Maryland, College Park

Top Papers

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

Key Collaborators

JSJohn S. Baras4 shared papersDMDipankar Maity3 shared papers
Not generated yet