Fetching the paper…
Reading the bibliography…
Neural network controllers (NNCs) have shown great promise in autonomous and cyber-physical systems.
Note on the Derivatives with Respect to a Parameter of the Solutions of a System of Differential Equations
Gronwall, T. H. 1919 · 1919
Earlier work this paper cites.
The wrapping effect, ellipsoid arithmetic, stability and confidence regions
Neumaier, A. 1993 · 1993
Earlier work this paper cites.
An information global optimization algorithm with local tuning
Sergeyev, Y. D. 1995 · 1995
Earlier work this paper cites.
Differential dynamical systems
Meiss, J. D. 2007 · 2007
Earlier work this paper cites.
Taylor model flowpipe construction for non-linear hybrid systems
Chen, X.; Abraham, E.; and Sankaranarayanan, S. 2012 · 2012
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.
Stable adaptive neural network control , volume 13
Ge, S. S.; Hang, C. C.; Lee, T. H.; and Zhang, T. 2013 · 2013
Earlier work this paper cites.
Deterministic global optimization using space-filling curves and multiple estimates of Lipschitz and Hölder constants
Lera, D.; and Sergeyev, Y. D. 2015 · 2015
Earlier work this paper cites.
End to end learning for self-driving cars
Bojarski, M.; Del Testa, D.; Dworakowski, D.; Firner, B.; Flepp, B.; Goyal, P.; Jackel, L. D.; Monfort, M.; Muller, U.; Zhang, J.; et al. 2016 · 2016
Earlier work this paper cites.
Adaptive nested optimization scheme for multidimensional global search
Gergel, V.; Grishagin, V.; and Gergel, A. 2016 · 2016
Earlier work this paper cites.
Policy compression for aircraft collision avoidance systems
Julian, K. D.; Lopez, J.; Brush, J. S.; Owen, M. P.; and Kochenderfer, M. J. 2016 · 2016
Earlier work this paper cites.
Reluplex: An efficient SMT solver for verifying deep neural networks
Katz, G.; Barrett, C.; Dill, D. L.; Julian, K.; and Kochenderfer, M. J. 2017 · 2017
Earlier work this paper cites.
Output Range Analysis for Deep Feedforward Neural Networks
Dutta, S.; Jha, S.; Sankaranarayanan, S.; and Tiwari, A. 2018 · 2018
Earlier work this paper cites.
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. 2018 · 2018
Earlier work this paper cites.
Reachability analysis of deep neural networks with provable guarantees
Ruan, W.; Huang, X.; and Kwiatkowska, M. 2018 · 2018
Earlier work this paper cites.
Planning and decision-making for autonomous vehicles
Schwarting, W.; Alonso-Mora, J.; and Rus, D. 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.
A survey on model-based distributed control and filtering for industrial cyber-physical systems
Ding, D.; Han, Q.-L.; Wang, Z.; and Ge, X. 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.
Verisig: verifying safety properties of hybrid systems with neural network controllers
A survey of deep learning applications to autonomous vehicle control
Kuutti, S.; Bowden, R.; Jin, Y.; Barber, P.; and Fallah, S. 2020 · 2020
Later among the works it cites.
NNV: The neural network verification tool for deep neural networks and learning-enabled cyber-physical systems
Tran, H.-D.; Yang, X.; Lopez, D. M.; Musau, P.; Nguyen, L. V.; Xiang, W.; Bak, S.; and Johnson, T. T. 2020 · 2020
Later among the works it cites.
A game-based approximate verification of deep neural networks with provable guarantees
Wu, M.; Wicker, M.; Ruan, W.; Huang, X.; and Kwiatkowska, M. 2020 · 2020
Later among the works it cites.
Reachability analysis of neural feedback loops
Everett, M.; Habibi, G.; Sun, C.; and How, J. P. 2021 · 2021
Later among the works it cites.
Verisig 2.0: Verification of neural network controllers using taylor model preconditioning
Ivanov, R.; Carpenter, T.; Weimer, J.; Alur, R.; Pappas, G.; and Lee, I. 2021 · 2021
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Ivanov, R.; Weimer, J.; Alur, R.; Pappas, G. J.; and Lee, I. 2019 · 2019
Cited alongside, same era.
The marabou framework for verification and analysis of deep neural networks
Katz, G.; Huang, D. A.; Ibeling, D.; Julian, K.; Lazarus, C.; Lim, R.; Shah, P.; Thakoor, S.; Wu, H.; Zeljić, A.; et al. 2019 · 2019
Cited alongside, same era.
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance
Ruan, W.; Wu, M.; Sun, Y.; Huang, X.; Kroening, D.; and Kwiatkowska, M. 2019 · 2019
Cited alongside, same era.
An abstract domain for certifying neural networks
Singh, G.; Gehr, T.; Püschel, M.; and Vechev, M. 2019 · 2019
Cited alongside, same era.
Formal verification of neural network controlled autonomous systems
Sun, X.; Khedr, H.; and Shoukry, Y. 2019 · 2019
Cited alongside, same era.
Parallelizable reachability analysis algorithms for feed-forward neural networks
Tran, H.-D.; Musau, P.; Lopez, D. M.; Yang, X.; Nguyen, L. V.; Xiang, W.; and Johnson, T. T. 2019c · 2019
Cited alongside, same era.
Efficient verification of relu-based neural networks via dependency analysis
Botoeva, E.; Kouvaros, P.; Kronqvist, J.; Lomuscio, A.; and Misener, R. 2020 · 2020
Cited alongside, same era.
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
Later among the works it cites.
Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications
Ruan, W.; Yi, X.; and Huang, X. 2021 · 2021
Later among the works it cites.
Scalable Polyhedral Verification of Recurrent Neural Networks
Ryou, W.; Chen, J.; Balunovic, M.; Singh, G.; Dan, A.; and Vechev, M. 2021 · 2021
Later among the works it cites.
Adversarial driving: Attacking end-to-end autonomous driving systems
Wu, H.; and Ruan, W. 2021 · 2021
Later among the works it cites.
Bridging formal methods and machine learning with global optimisation
Huang, X.; Ruan, W.; Tang, Q.; and Zhao, X. 2022 · 2022
Later among the works it cites.
3DVerifier: efficient robustness verification for 3D point cloud models
Mu, R.; Ruan, W.; Marcolino, L. S.; and Ni, Q. 2022 · 2022
Later among the works it cites.
Deep learning and its adversarial robustness: A brief introduction
Wang, F.; Zhang, C.; Xu, P.; and Ruan, W. 2022 · 2022
Later among the works it cites.
DIMBA: discretely masked black-box attack in single object tracking
Yin, X.; Ruan, W.; and Fieldsend, J. 2022 · 2022
Later among the works it cites.
PRoA: A Probabilistic Robustness Assessment against Functional Perturbations
Zhang, T.; Ruan, W.; and Fieldsend, J. E. 2022 · 2022
Later among the works it cites.