Search papers, labs, and topics across Lattice.
Univ Gustave Eiffel
2
0
4
TNODEV achieves unprecedented precision in verifying neural ODEs, significantly improving safety assessments in critical applications.
Forget retraining: HyperKKL uses a hypernetwork to dynamically condition KKL observers on exogenous inputs, enabling accurate state estimation for non-autonomous nonlinear systems.
