Picture for Matthieu Barreau

Matthieu Barreau

Learning and Verifying Maximal Taylor-Neural Lyapunov functions

Add code
Aug 30, 2024
Viaarxiv icon