DRIBO: Robust Deep Reinforcement Learning Via Multi-View Information Bottleneck

von Fan, Jiameng
Veröffentlicht in International Conference on Machine Learning (39. : 2022 : Baltimore, Md.; Online) International Conference on Machine Learning (ICML 2022) ; Part 8 of 33 (2023)

POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems

von Huang, Chao
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)

ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems

von Fan, Jiameng
Veröffentlicht in ATVA (18. : 2020 : Online) Automated technology for verification and analysis (2020)