conftrace_

taylor model

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

control system (1) reachable state (1) reachability analysis (1) neural network controller (1) neural network verification (1) formal verification (1)

Papers

Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes AAAI 2022