Login / Signup
Kai S. Yun
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Controller Synthesis
Signature Verification
Iterative Learning Control
Hidden Layer
Top Venues
CoRR
ECC
</>
Publications
</>
Tianhao Wei
,
Luca Marzari
,
Kai S. Yun
,
Hanjiang Hu
,
Peizhi Niu
,
Xusheng Luo
,
Changliu Liu
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks.
CoRR
(2024)
Simin Liu
,
Kai S. Yun
,
John M. Dolan
,
Changliu Liu
Synthesis and Verification of Robust-Adaptive Safe Controllers.
ECC
(2024)
Simin Liu
,
Kai S. Yun
,
John M. Dolan
,
Changliu Liu
Synthesis and verification of robust-adaptive safe controllers.
CoRR
(2023)