conftrace_

controller verification

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (2) safe ai (1) specification conformance (1) counter-example guided (1) reactive system (1) environment modeling (1) autonomous system (1) stochastic game (1) deep neural network (1)

Papers

Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games AAAI 2023 Counter-example Guided Learning of Bounds on Environment Behavior CoRL 2019