conftrace_

certificate function

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

lyapunov function (3) control policy (2) neural control policy (1) diffeomorphic map (1) stabilizing controller (1) unknown system (1) attractor system (1) neural network control (1) runtime monitoring (1) radial basis function (1)

Papers

Learning Geometrically-Informed Lyapunov Functions with Deep Diffeomorphic RBF Networks AISTATS 2025 Neural Control and Certificate Repair via Runtime Monitoring AAAI 2025 Learning to stabilize high-dimensional unknown systems using Lyapunov-guided exploration L4DC 2024