conftrace_

probabilistic lyapunov certificate

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

neural network certification (1) safety guarantee reuse (1) compositional neural control (1) stochastic dynamical system (1)

Papers

VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change IJCAI 2025