Room: 2
Session: Verification / Autonomy & Benchmark
| Time | Title | Authors |
|---|---|---|
| 11:00 | Benchmarking Formal Verification for the Perception Tasks of Autonomous Driving in the Wild | Luo, Ma, Han, and Xie |
| 11:20 | Benchmark: Neural Network Malware Classification | Robinette, Lopez, and Johnson |
| 11:40 | VNN Benchmark Proposal: Remaining Useful Life Predictor for Aircraft Equipment | Kirov and Rollini |
| 12:00 | VNN Benchmark Proposal: Object Detection for Maritime Search and Rescue | Kirov, Rollini, Chandrahas, Reddy, Chandupatla, and Sawant |
| Lunch | ||
| 14:30 | A benchmark suite of neural networks for anomaly detection in batch distillation | Lutz and Neider |
| 14:50 | Formal Verification of Semantic Segmentation Neural Networks – Benchmark Proposal | Pal, Lee, and Johnson |
| 15:10 | Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers | Lopez and Johnson |
| 15:40 | Discussion + Wrap-up | |