Fetching the paper…
Reading the bibliography…
We study the verification problem for closed-loop dynamical systems with neural-network controllers (NNCS).
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints
Cousot, P.; and Cousot, R. 1977 · 1977
Earlier work this paper cites.
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems
Alur, R.; Courcoubetis, C.; Henzinger, T. A.; and Ho, P. 1992 · 1992
Earlier work this paper cites.
The wrapping effect, ellipsoid arithmetic, stability and confidence regions , 175–190
Neumaier, A. 1993 · 1993
Earlier work this paper cites.
Lectures on polytopes , volume 152 of Graduate Texts in Mathematics
Ziegler, G. M. 1995 · 1995
Earlier work this paper cites.
Taylor models and other validated functional inclusion methods
Makino, K.; and Berz, M. 2003 · 2003
Earlier work this paper cites.
Reachability of Uncertain Linear Systems Using Zonotopes
Girard, A. 2005 · 2005
Earlier work this paper cites.
Bounding the Solutions of Parameter Dependent Nonlinear Ordinary Differential Equations
Singer, A. B.; and Barton, P. I. 2006 · 2006
Earlier work this paper cites.
Reachability in Linear Dynamical Systems
Hainry, E. 2008 · 2008
Earlier work this paper cites.
The Zonotope Abstract Domain Taylor1+
Ghorbal, K.; Goubault, E.; and Putot, S. 2009 · 2009
Earlier work this paper cites.
Taylor Model Flowpipe Construction for Non-linear Hybrid Systems
Chen, X.; Ábrahám, E.; and Sankaranarayanan, S. 2012 · 2012
Earlier work this paper cites.
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
Althoff, M. 2013 · 2013
Earlier work this paper cites.
Flow*: An Analyzer for Non-linear Hybrid Systems
Chen, X.; Ábrahám, E.; and Sankaranarayanan, S. 2013 · 2013
Earlier work this paper cites.
An Introduction to CORA 2015
Althoff, M. 2015 · 2015
Cited alongside, same era.
DifferentialEquations.jl – A Performant and Feature-Rich Ecosystem for Solving Differential Equations in Julia
Rackauckas, C.; and Nie, Q. 2017 · 2017
Cited alongside, same era.
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Gehr, T.; Mirman, M.; Drachsler-Cohen, D.; Tsankov, P.; Chaudhuri, S.; and Vechev, M. T. 2018 · 2018
Cited alongside, same era.
Fast and Effective Robustness Certification
Singh, G.; Gehr, T.; Mirman, M.; Püschel, M.; and Vechev, M. T. 2018 · 2018
Cited alongside, same era.
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers
Xiang, W.; Tran, H.; Rosenfeld, J. A.; and Johnson, T. T. 2018 · 2018
Cited alongside, same era.
TaylorModels.jl: Taylor models in Julia and its application to validated solutions of ODEs
Verisig: verifying safety properties of hybrid systems with neural network controllers
Ivanov, R.; Weimer, J.; Alur, R.; Pappas, G. J.; and Lee, I. 2019 · 2019
Later among the works it cites.
Formal Verification of Neural Agents in Non-deterministic Environments
Akintunde, M. E.; Botoeva, E.; Kouvaros, P.; and Lomuscio, A. 2020 · 2020
Later among the works it cites.
ReachNN*: A Tool for Reachability Analysis of Neural-Network Controlled Systems
Fan, J.; Huang, C.; Chen, X.; Li, W.; and Zhu, Q. 2020 · 2020
Later among the works it cites.
Set Propagation Techniques for Reachability Analysis
Althoff, M.; Frehse, G.; and Girard, A. 2021 · 2021
Closest in time.
Verifying Reinforcement Learning up to Infinity
Bacci, E.; Giacobbe, M.; and Parker, D. 2021 · 2021
Closest in time.
Safety Verification of Neural Network Controlled Systems
Clavière, A.; Asselin, E.; Garion, C.; and Pagetti, C. 2021 · 2021
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Benet, L.; Forets, M.; Sanders, D. P.; and Schilling, C. 2019 · 2019
Cited alongside, same era.
TaylorSeries.jl: Taylor expansions in one and several variables in Julia
Benet, L.; and Sanders, D. P. 2019 · 2019
Cited alongside, same era.
JuliaReach: a toolbox for set-based reachability
Bogomolov, S.; Forets, M.; Frehse, G.; Potomkin, K.; and Schilling, C. 2019 · 2019
Cited alongside, same era.
Sherlock - A tool for verification of neural network feedback systems: demo abstract
Dutta, S.; Chen, X.; Jha, S.; Sankaranarayanan, S.; and Tiwari, A. 2019 · 2019
Cited alongside, same era.
Reachability analysis for neural feedback systems using regressive polynomial rule inference
Dutta, S.; Chen, X.; and Sankaranarayanan, S. 2019 · 2019
Cited alongside, same era.
ReachNN: Reachability Analysis of Neural-Network Controlled Systems
Huang, C.; Fan, J.; Li, W.; Chen, X.; and Zhu, Q. 2019 · 2019
Cited alongside, same era.
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks
Dutta, S.; Jha, S.; Sankaranarayanan, S.; and Tiwari, A. 2018a
Cited in the paper.
Closest in time.
LazySets.jl: Scalable Symbolic-Numeric Set Computations
Forets, M.; and Schilling, C. 2021 · 2021
Closest in time.
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Johnson, T. T.; Lopez, D. M.; Benet, L.; Forets, M.; Guadalupe, S.; Schilling, C.; Ivanov, R.; Carpenter, T. J.; Weimer, J.; and Lee, I. 2021 · 2021
Closest in time.
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
Kochdumper, N.; and Althoff, M. 2021 · 2021
Closest in time.
Algorithms for Verifying Deep Neural Networks
Liu, C.; Arnon, T.; Lazarus, C.; Strong, C. A.; Barrett, C. W.; and Kochenderfer, M. J. 2021 · 2021
Closest in time.
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems
Sidrane, C.; Maleki, A.; Irfan, A.; and Kochenderfer, M. J. 2021 · 2021
Closest in time.