Related references
Note: Only part of the references are listed.Formal verification of neural agents in non-deterministic environments
Michael E. Akintunde et al.
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS (2022)
Safety Verification of Neural Network Controlled Systems
Arthur Claviere et al.
51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN-W 2021) (2021)
ReachNN: Reachability Analysis of Neural-Network Controlled Systems
Chao Huang et al.
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2019)
Deep Neural Network Compression for Aircraft Collision Avoidance Systems
Kyle D. Julian et al.
JOURNAL OF GUIDANCE CONTROL AND DYNAMICS (2019)
The Marabou Framework for Verification and Analysis of Deep Neural Networks
Guy Katz et al.
COMPUTER AIDED VERIFICATION, CAV 2019, PT I (2019)
Reachability Analysis for Neural Feedback Systems using Regressive Polynomial Rule Inference
Souradeep Dutta et al.
PROCEEDINGS OF THE 2019 22ND ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC '19) (2019)
Verisig: verifying safety properties of hybrid systems with neural network controllers
Radoslav Ivanov et al.
PROCEEDINGS OF THE 2019 22ND ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC '19) (2019)
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz et al.
COMPUTER AIDED VERIFICATION, CAV 2017, PT I (2017)
Human-level control through deep reinforcement learning
Volodymyr Mnih et al.
NATURE (2015)
Variable resolution discretization in optimal control
R Munos et al.
MACHINE LEARNING (2002)