conftrace_

stochastic guarantee

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

adjoint sensitivity (1) reachability analysis (1) lagrangian method (1) model verification (1) neural ordinary differential equation (1) formal verification (1) stochastic optimization (1)

Papers

On the Verification of Neural ODEs with Stochastic Guarantees AAAI 2021