Scholar

Kaier Liang

Google Scholar ID: uBdOIOcAAAAJ

PhD Student at Lehigh University

ControlFormal methodsRobotics

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

5 items

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)