conftrace_

compositional neural control

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

probabilistic lyapunov certificate (1) neural network certification (1) safety guarantee reuse (1) stochastic dynamical system (1)

Papers

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