conftrace_

safety-critical system

27 papers

Explore in graph

Co-occurring keywords · papers mentioning both

neural network verification (7) formal verification (7) autonomous driving (5) autonomous vehicle (4) neural network (3) robustness verification (2) safety property (2) out-of-distribution detection (2) reinforcement learning (2) probabilistic counting (1)

Papers

Modeling Perception Errors towards Robust Decision Making in Autonomous Vehicles IJCAI 2020 Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures ICLR 2019