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
10 items
SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications
2026
Cited
0
Uncertainty-Aware Intention Prediction for Human-to-Robot Assembly Teleoperation
2026
Cited
0
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
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)