conftrace_

probabilistic counting

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

safety-critical system (1) neural network verification (1) formal verification (1) autonomous driving (1)

Papers

The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural Networks IJCAI 2023