Kochenderfer, Mykel J.
49 publications
NeurIPS
2024
BetterBench: Assessing AI Benchmarks, Uncovering Issues, and Establishing Best Practices
JMLR
2022
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems