Kai S. Yun
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2025–2025
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | 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 |
| 2025 | ICRA | Safe Control of Quadruped in Varying Dynamics via Safety Index Adaptation. | Kai S. Yun, Rui Chen, Chase Dunaway, John M. Dolan, Changliu Liu |