Kaier Liang

According to our database, Kaier Liang authored at least 11 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks.

Licheng Luo, Kaier Liang, Cristian-Ioan Vasile, Mingyu Cai

CoRR, April, 2026

2025

NL2SpaTiaL: Generating Geometric Spatio-Temporal Logic Specifications from Natural Language for Manipulation Tasks.

Licheng Luo, Yu Xia, Kaier Liang, Mingyu Cai

CoRR, December, 2025

Time-aware Motion Planning in Dynamic Environments with Conformal Prediction.

Kaier Liang, Licheng Luo, Yixuan Wang, Mingyu Cai, Cristian Ioan Vasile

CoRR, November, 2025

Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction.

Kaier Liang, Guang Yang, Mingyu Cai, Cristian-Ioan Vasile

CoRR, April, 2025

An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals.

Gustavo A. Cardona, Kaier Liang, Cristian-Ioan Vasile

Proceedings of the IEEE International Conference on Robotics and Automation, 2025

2024

An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Temporal Logic Goals and Travel Duration Uncertainty.

Kaier Liang, Gustavo A. Cardona, Cristian-Ioan Vasile

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation.

Kaier Liang, Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile

Proceedings of the 63rd IEEE Conference on Decision and Control, 2024

Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach.

Kaier Liang, Mingyu Cai, Cristian-Ioan Vasile

Proceedings of the American Control Conference, 2024

2023

Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method.

Kaier Liang, Cristian-Ioan Vasile

Proceedings of the International Symposium on Multi-Robot and Multi-Agent Systems, 2023

2022

Fair Planning for Mobility-on-Demand with Temporal Logic Requests.

Kaier Liang, Cristian-Ioan Vasile

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

2021

Rough-Terrain Locomotion and Unilateral Contact Force Regulations With a Multi-Modal Legged Robot.

Kaier Liang, Eric Sihite, Pravin Dangol, Andrew Lessieur, Alireza Ramezani

Proceedings of the 2021 American Control Conference, 2021