3 citations · 3 across the 6 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
eess.SY2024
Safe Control of Quadruped in Varying Dynamics via Safety Index Adaptation
Kai S. Yun, Rui Chen, Chase Dunaway +2
Varying dynamics pose a fundamental difficulty when deploying safe control laws in the real world. Safety Index Synthesis (SIS) deeply relies on the system dynamics and once the dy…
cs.LG2024
ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
Tianhao Wei, Hanjiang Hu, Luca Marzari +4
Deep Neural Networks (DNN) are crucial in approximating nonlinear functions across diverse applications, ranging from image classification to control. Verifying specific input-outp…