Mingyu Cai
Scholar

Mingyu Cai

Google Scholar ID: UIbtEVUAAAAJ
Assistant Professor, University of California Riverside
RoboticsMachine LearningFormal MethodsControlInterpretable AI
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
655
 
H-index
15
 
i10-index
19
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
8 items
Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks
2026
Cited
0
Conformalized Signal Temporal Logic Inference under Covariate Shift
2026
Cited
0
NL2SpaTiaL: Generating Geometric Spatio-Temporal Logic Specifications from Natural Language for Manipulation Tasks
2025
Cited
0
Deadlock-Free Hybrid RL-MAPF Framework for Zero-Shot Multi-Robot Navigation
2025
Cited
0
Time-aware Motion Planning in Dynamic Environments with Conformal Prediction
2025
Cited
0
Conformal Prediction for Signal Temporal Logic Inference
2025
Cited
0
Bridging Deep Reinforcement Learning and Motion Planning for Model-Free Navigation in Cluttered Environments
2025
Cited
0
Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)