conftrace_

neural certificate

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (2) reach-avoid specification (1) neural network (1) continuous-time system (1) stochastic dynamical system (1) control policy (1) reach-avoid problem (1) stochastic system (1) stochastic process (1) stochastic control (1)

Papers

Neural Continuous-Time Supermartingale Certificates AAAI 2025 Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees AAAI 2023