Scholar
Kaier Liang
Google Scholar ID: uBdOIOcAAAAJ
PhD Student at Lehigh University
Control
Formal methods
Robotics
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
61
H-index
3
i10-index
2
Publications
10
Co-authors
0
Contact
No contact links provided.
Publications
6 items
ViTL: Temporal Logic-Guided Zero-Shot Natural Language Navigation via Vision-Language Models
2026
Cited
0
Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks
2026
Cited
0
NL2SpaTiaL: Generating Geometric Spatio-Temporal Logic Specifications from Natural Language for Manipulation Tasks
2025
Cited
0
Time-aware Motion Planning in Dynamic Environments with Conformal Prediction
2025
Cited
0
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
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)
