conftrace_

stability verification

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neural network (2) asymptotic stability (1) discrete-time system (1) control policy (1) mixed integer programming (1) stochastic control (1) lyapunov function (1) formal verification (1)

Papers

Neural Lyapunov Control for Discrete-Time Systems NeurIPS 2023 Stability Verification in Stochastic Control Systems via Neural Network Supermartingales AAAI 2022