Fetching the paper…
Reading the bibliography…
Neural networks have become state-of-the-art for computer vision problems because of their ability to efficiently model complex functions from large amounts of data.
“Alvinn: An autonomous land vehicle in a neural network”
Dean Pomerleau · 1989
Earlier work this paper cites.
“Gradient-based learning applied to document recognition”
Yann LeCun, L“’eon Bottou, Yoshua Bengio and Patrick Haffner · 1998
Earlier work this paper cites.
“Imagenet classification with deep convolutional neural networks”
Alex Krizhevsky, Ilya Sutskever and Geoffrey Hinton · 2012
Earlier work this paper cites.
“Human-level control through deep reinforcement learning”
Volodymyr Mnih et al · 2015
Earlier work this paper cites.
“Adaptive stress testing of airborne collision avoidance systems”
Ritchie Lee et al · 2015
Earlier work this paper cites.
“Sequential Problems”
Mykel. Kochenderfer · 2015
Earlier work this paper cites.
“Explaining and harnessing adversarial examples”
Ian Goodfellow, Jonathon Shlens and Christian Szegedy · 2015
Earlier work this paper cites.
“End to end learning for self-driving cars”
Mariusz Bojarski et al · 2016
Earlier work this paper cites.
“Learning quadrotor dynamics using neural network for flight control”
Somil Bansal et al · 2016
Earlier work this paper cites.
“Prioritized experience replay”
Tom Schaul, John Quan, Ioannis Antonoglou and David Silver · 2016
Cited alongside, same era.
“Neural network guidance for UAVs”
Kyle Julian and Mykel Kochenderfer · 2017
Cited alongside, same era.
“Reluplex: An efficient SMT solver for verifying deep neural networks”
Guy Katz et al · 2017
Cited alongside, same era.
“An approach to reachability analysis for feed-forward ReLU neural networks”
Alessio Lomuscio and Lalit Maganti · 2017
Cited alongside, same era.
“Towards proving the adversarial robustness of deep neural networks”
Guy Katz et al · 2017
Cited alongside, same era.
“OpenAI Baselines”
Prafulla Dhariwal et al · 2017
Cited alongside, same era.
“Reachability Analysis for Neural Agent-Environment Systems”
Michael Akintunde, Alessio Lomuscio, Lalit Maganti and Edoardo Pirovano · 2018
Later among the works it cites.
“Reachability analysis and safety verification for neural network control systems”
Weiming Xiang and Taylor Johnson · 2018
Later among the works it cites.
“Deepsafe: A data-driven approach for assessing robustness of neural networks”
Divya Gopinath, Guy Katz, Corina Pasareanu and Clark Barrett · 2018
Later among the works it cites.
“The marabou framework for verification and analysis of deep neural networks”
Guy Katz et al · 2019
Later among the works it cites.
“Algorithms for Verifying Deep Neural Networks”
Changliu Liu et al · 2019
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
“Towards evaluating the robustness of neural networks”
Nicholas Carlini and David Wagner · 2017
Cited alongside, same era.
“A general reinforcement learning algorithm that masters chess, shogi, and Go through self-play”
David Silver et al · 2018
Cited alongside, same era.
“Efficient formal safety analysis of neural networks”
Shiqi Wang et al · 2018
Cited alongside, same era.
“Verisig: verifying safety properties of hybrid systems with neural network controllers”
Radoslav Ivanov et al · 2019
Later among the works it cites.
“Guaranteeing Safety for Neural Network-Based Aircraft Collision Avoidance Systems”
Kyle Julian and Mykel Kochenderfer · 2019
Later among the works it cites.
“Efficient autonomy validation in simulation with adaptive stress testing”
Mark Koren and Mykel Kochenderfer · 2019
Later among the works it cites.
“X-Plane 11” Accessed: 2019-06-25, https://www.x-plane.com/
2019
Later among the works it cites.