Synthesis and Verification of Robust-Adaptive Safe Controllers. - Simin Liu; Kai S. Yun; John M. Dolan; Changliu Liu (ECC, 2024)

Safe Control of Quadruped in Varying Dynamics via Safety Index Adaptation. - Kai S. Yun; Rui Chen 030; Chase Dunaway; John M. Dolan; Changliu Liu (CoRR, 2024)

ModelVerification.jl: A Comprehensive Toolbox for Formally Verifying Deep Neural Networks. - Tianhao Wei; Hanjiang Hu; Luca Marzari; Kai S. Yun; Peizhi Niu; Xusheng Luo; Changliu Liu (CAV (2), 2025)

SPARK: A Modular Benchmark for Humanoid Robot Safety. - Yifan Sun 011; Rui Chen 030; Kai S. Yun; Yikuan Fang; Sebin Jung; Feihan Li; Bowei Li; Weiye Zhao; Changliu Liu (CoRR, 2025)