Yun, Kai S.

1. ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
   2024/06/30 by Wei, Tianhao, Hu, Hanjiang, Marzari, Luca +4 · 3 citations
   #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
2. SPARK: A Modular Benchmark for Humanoid Robot Safety
   2025/02/05 by Sun, Yifan, Chen, Rui, Yun, Kai S. +6 · 2 citations
   #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Safe Control of Quadruped in Varying Dynamics via Safety Index Adaptation
   2024/09/15 by Yun, Kai S., Chen, Rui, Dunaway, Chase +2 · 1 citation
   #FOS: Computer and information sciences #FOS: Electrical engineering #Robotics (cs.RO) #Systems and Control (eess.SY) #electronic engineering #information engineering