conftrace_

safety guarantee reuse

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

probabilistic lyapunov certificate (1) neural network certification (1) compositional neural control (1) stochastic dynamical system (1)

Papers

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