Kaier Liang

16 papers A* 2A 1C 2Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals.
ICRA
Gustavo A. Cardona, Kaier Liang, Cristian-Ioan Vasile
2025 J jnl
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals.
CoRR
Gustavo A. Cardona, Kaier Liang, Cristian-Ioan Vasile
2025 J jnl
NL2SpaTiaL: Generating Geometric Spatio-Temporal Logic Specifications from Natural Language for Manipulation Tasks.
CoRR
Licheng Luo, Yu Xia, Kaier Liang, Mingyu Cai
2025 J jnl
Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction.
CoRR
Kaier Liang, Guang Yang, Mingyu Cai, Cristian-Ioan Vasile
2025 J jnl
Time-aware Motion Planning in Dynamic Environments with Conformal Prediction.
CoRR
Kaier Liang, Licheng Luo, Yixuan Wang, Mingyu Cai, Cristian Ioan Vasile
2024 A* conf
An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Temporal Logic Goals and Travel Duration Uncertainty.
ICRA
Kaier Liang, Gustavo A. Cardona, Cristian-Ioan Vasile
2024 C conf
Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach.
ACC
Kaier Liang, Mingyu Cai, Cristian-Ioan Vasile
2024 J jnl
Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method.
CoRR
Kaier Liang, Cristian-Ioan Vasile
2024 — conf
Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation.
CDC
Kaier Liang, Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile
2024 J jnl
Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation.
CoRR
Kaier Liang, Gustavo A. Cardona, Disha Kamale, Cristian-Ioan Vasile
2023 J jnl
Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach.
CoRR
Kaier Liang, Mingyu Cai, Cristian-Ioan Vasile
2023 — conf
Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method.
MRS
Kaier Liang, Cristian-Ioan Vasile
2022 A conf
Fair Planning for Mobility-on-Demand with Temporal Logic Requests.
IROS
Kaier Liang, Cristian-Ioan Vasile
2022 J jnl
Fair Planning for Mobility-on-Demand with Temporal Logic Requests.
CoRR
Kaier Liang, Cristian-Ioan Vasile
2021 C conf
Rough-Terrain Locomotion and Unilateral Contact Force Regulations With a Multi-Modal Legged Robot.
ACC
Kaier Liang, Eric Sihite, Pravin Dangol, Andrew Lessieur, Alireza Ramezani
2021 J jnl
Rough-Terrain Locomotion and Unilateral Contact Force Regulations With a Multi-Modal Legged Robot.
CoRR
Kaier Liang, Eric Sihite, Pravin Dangol, Andrew Lessieur, Alireza Ramezani
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski