Kai S. Yun

According to our database, Kai S. Yun authored at least 4 papers between 2024 and 2025.

Collaborative distances:

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

2025

SPARK: A Modular Benchmark for Humanoid Robot Safety.

Yifan Sun, Rui Chen, Kai S. Yun, Yikuan Fang, Sebin Jung, Feihan Li, Bowei Li, Weiye Zhao, Changliu Liu

CoRR, February, 2025

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

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

Safe Control of Quadruped in Varying Dynamics via Safety Index Adaptation.

Kai S. Yun, Rui Chen, Chase Dunaway, John M. Dolan, Changliu Liu

CoRR, 2024

Synthesis and Verification of Robust-Adaptive Safe Controllers.

Simin Liu, Kai S. Yun, John M. Dolan, Changliu Liu

Proceedings of the European Control Conference, 2024