conftrace_

safety verification

28 papers

Explore in graph

Co-occurring keywords

formal verification (284) reachability analysis (35) dynamical system (398) model checking (105) autonomous system (63) neural network verification (106) reinforcement learning (4352) bayesian neural network (201) predicate abstraction (3) neural network controller (20)

Papers

Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract) AAAI 2020
Reachability Analysis of Deep Neural Networks with Provable Guarantees IJCAI 2018
Provably Safe Robot Navigation with Obstacle Uncertainty RSS 2017