Room: 1
Session: Verification
| Time | Title | Authors |
|---|---|---|
| 14:30 | Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment | Kirov, Rollini, Guglielmo, and Cofer |
| 14:50 | The inverse problem for neural networks | Forets and Schilling |
| 15:10 | Distribution-Aware Neuro-Symbolic Verification | Zaid, Diekmann, and Neider |
| 15:20 | Towards Formal Guarantees for Networks’ Overconfidence | Kabaha and Drachsler Cohen |
Room: 1
Session: Verification / Autonomy
| Time | Title | Authors |
|---|---|---|
| 16:30 | Towards Verification of Changes in Dynamic Machine Learning Models using Deep Ensemble Anomaly Detection | Katzke, Li, Klüttermann, and Müller |
| 16:50 | Reachability for neural-network control systems | Schilling |
| 17:10 | Continuous Engineering for Trustworthy Learning-enabled Autonomous Systems | Bensalem, Katsaros, Nickovic, Liao, Nolasco, Ahmed, Beyene, Cano, Delacourt, Esen, Forrai, He, Huang, Kekatos, Konighofer, Paulitsch, Peled, Ponchant, Sorokin, Tong, and Wu |
| 17:20 | Verification of a Neural Network for Modelling the Dynamics of a Quadcopter | Dulai and Garcia |