Mingyu Cai

Lehigh University, University of California, Riverside

Papers

8

Total Citations

93

H-Index

5

About

No biography available yet.

Research Focus

Computer science8 · 93 citations
Artificial intelligence8 · 93 citations
Engineering6 · 86 citations
Robot5 · 81 citations
Temporal logic4 · 57 citations
Motion planning3 · 52 citations
Linear temporal logic3 · 49 citations
Theoretical computer science5 · 47 citations
Task (project management)2 · 46 citations
Workspace3 · 46 citations
Systems engineering2 · 46 citations
Computer vision3 · 44 citations

Key Achievements

5
H-Index
8
Papers
93
Total Citations
12
Avg Citations/Paper
🏆 Most Cited Paper
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications
27 citations · 2023
📈 Most Prolific Year: 2023 (3 Papers)
🤝 Key Collaborators: 15
🏛 Institutions: Lehigh University, University of California, Riverside

Top Papers

  1. 1
    Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications
    27 citations · 2023
  2. 2
    Local Observation Based Reactive Temporal Logic Planning of Human-Robot Systems
    19 citations · 2023
  3. 3
    Vision-Based Reactive Temporal Logic Motion Planning for Quadruped Robots in Unstructured Dynamic Environments
    17 citations · 2023
  4. 4
    Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications
    10 citations · 2021
  5. 5
    Fast Motion Planning in Dynamic Environments With Extended Predicate-Based Temporal Logic
    8 citations · 2024
  6. 6
    Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Buchi Automata
    5 citations · 2021
  7. 7
    Safety-Critical Modular Deep Reinforcement Learning with Temporal Logic through Gaussian Processes and Control Barrier Functions
    4 citations · 2021
  8. 8
    Reinforcement learning with soft temporal logic constraints using limit-deterministic generalized Büchi automaton
    3 citations · 2024

Key Collaborators

ZKZhen Kan4 shared papersZZZhangli Zhou4 shared papersCVCristian-Ioan Vasile3 shared papersZCZiyang Chen3 shared papersZLZhijun Li2 shared papersSXShaoping Xiao2 shared papersEAErfan Aasi1 shared papersLLLin Li1 shared papersHWHao Wang1 shared papersZSZachary Serlin1 shared papersKLKevin Leahy1 shared papersSWShaochen Wang1 shared papersLLLin Li1 shared papersCBCălin Belta1 shared papersCSChun‐Yi Su1 shared papers
Not generated yet