conftrace_

reach-avoid probability

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

control policy synthesis (1) runtime safety (1) safety certification (1) iterative prediction (1) bound propagation (1) stochastic dynamical system (1) barrier function (1) bayesian neural network (1) uncertainty quantification (1)

Papers

Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions AAAI 2026 Certification of iterative predictions in Bayesian neural networks UAI 2021