Fetching the paper…
Reading the bibliography…
This survey presents an overview of verification techniques for autonomous systems, with a focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents thereof.
Queries and Concept Learning
D. Angluin · 1988
Earlier work this paper cites.
Introduction to Neural Networks for Intelligent Control
B. Bavarian · 1988
Earlier work this paper cites.
Multilayer Feedforward Networks are Universal Approximators
K. Hornik, M. Stinchcombe, and H. White · 1989
Earlier work this paper cites.
Identification and Control of Dynamical Systems Using Neural Networks
K. S. Narendra and K. Parthasarathy · 1990
Earlier work this paper cites.
Theory and Applications of Neural Networks for Industrial Control Systems
T. Fukuda and T. Shibata · 1992
Earlier work this paper cites.
Gaussian Networks for Direct Adaptive Control
R. M. Sanner and J. J. E. Slotine · 1992
Earlier work this paper cites.
Diagonal Recurrent Neural Networks for Dynamic Systems Control
Chao-Chee Ku and K. Y. Lee · 1995
Earlier work this paper cites.
Reinforcement Learning: A Survey
Leslie Pack Kaelbling, Michael L. Littman, and Andrew W. Moore · 1996
Earlier work this paper cites.
An Approach to Stability Criteria of Neural-Network Control Systems
K. Tanaka · 1996
Earlier work this paper cites.
Adaptive Control Using Neural Networks and Approximate Models
K. S. Narendra and S. Mukhopadhyay · 1997
Earlier work this paper cites.
Linear Programming: Foundations & Extensions (Second Edition)
Robert J. Vanderbei · 2001
Earlier work this paper cites.
Verification and Validation of Neural Networks for Safety-Critical Applications
Jason Hull, David Ward, and Radoslaw R Zakrzewski · 2002
Earlier work this paper cites.
Neural-Network Control of Nonaffine Nonlinear System With Zero Dynamics by State and Output Feedback
S. S. Ge and Jin Zhang · 2003
Earlier work this paper cites.
Lyapunov Design for Safe Reinforcement Learning
Theodore J. Perkins and Andrew G. Barto · 2003
Earlier work this paper cites.
A Tool for Verification and Validation of Neural Network Based Adaptive Controllers for High Assurance Systems
P. Gupta and J. Schumann · 2004
Earlier work this paper cites.
Using Fuzzy Self-Organising Maps for Safety Critical Systems
Zeshan Kurd and Tim P. Kelly · 2004
Earlier work this paper cites.
Randomized Approach to Verification of Neural Networks
R. R. Zakrzewski · 2004
Earlier work this paper cites.
Stable Adaptive Neurocontrol for Nonlinear Discrete-Time Systems
Quanmin Zhu and Lingzhong Guo · 2004
Earlier work this paper cites.
Dynamic programming and optimal control
Dimitri P Bertsekas, Dimitri P Bertsekas, Dimitri P Bertsekas, and Dimitri P Bertsekas · 2005
Earlier work this paper cites.
LearnLib: A Library for Automata Learning and Experimentation
Harald Raffelt, Bernhard Steffen, and Therese Berg · 2005
Earlier work this paper cites.
Neural Networks in Feedback Control Systems
F.L. Lewis and Shuzhi Sam Ge · 2006
Earlier work this paper cites.
HySAT: An efficient proof engine for bounded model checking of hybrid systems
Martin Fränzle and Christian Herde · 2007
Earlier work this paper cites.
Learning cycle-linear hybrid automata for excitable cells
Radu Grosu, Sayan Mitra, Pei Ye, Emilia Entcheva, IV Ramakrishnan, and Scott A Smolka · 2007
Earlier work this paper cites.
An algorithm for learning real-time automata
Sicco Verwer, Mathijs de Weerdt, and Cees Witteveen · 2007
Earlier work this paper cites.
PID-Like Neural Network Nonlinear Adaptive Control for Uncertain Multivariable Motion Control Systems
S. Cong and Y. Liang · 2009
Earlier work this paper cites.
A literature survey of active machine learning in the context of natural language processing
Fredrik Olsson · 2009
Earlier work this paper cites.
Active learning literature survey
Burr Settles · 2009
Earlier work this paper cites.
The efficiency of identifying timed automata and the power of clocks
Sicco Verwer, Mathijs de Weerdt, and Cees Witteveen · 2009
Earlier work this paper cites.
Neural network approach to continuous-time direct adaptive optimal control for partially unknown nonlinear systems
Draguna Vrabie and Frank Lewis · 2009
Earlier work this paper cites.
Robust Adaptive Neural Network Control for a Class of Uncertain MIMO Nonlinear Systems With Input Nonlinearities
M. Chen, S. S. Ge, and B. V. E. How · 2010
Earlier work this paper cites.
Breach, a toolbox for verification and parameter synthesis of hybrid systems
Alexandre Donzé · 2010
Earlier work this paper cites.
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks
Luca Pulina and Armando Tacchella · 2010
Earlier work this paper cites.
Online actor–critic algorithm to solve the continuous-time infinite horizon optimal control problem
Kyriakos G Vamvoudakis and Frank L Lewis · 2010
Earlier work this paper cites.
Efficient Identification of Timed Automata: Theory and Practice
S. E. Verwer · 2010
Earlier work this paper cites.
Parametric identification of temporal properties
Eugene Asarin, Alexandre Donzé, Oded Maler, and Dejan Nickovic · 2011
Earlier work this paper cites.
The Changing Science of Machine Learning
Pat Langley · 2011
Earlier work this paper cites.
Calculus of variations and optimal control theory: a concise introduction
Daniel Liberzon · 2011
Earlier work this paper cites.
Next Generation LearnLib
Maik Merten, Bernhard Steffen, Falk Howar, and Tiziana Margaria · 2011
Earlier work this paper cites.
NeVer: a tool for artificial neural networks verification
Luca Pulina and Armando Tacchella · 2011
Earlier work this paper cites.
An approximate dynamic programming based controller for an underactuated 6dof quadrotor
Emanuel Stingu and Frank L Lewis · 2011
Earlier work this paper cites.
Learning and Testing the Bounded Retransmission Protocol
Fides Aarts, Harco Kuppens, Jan Tretmans, Frits Vaandrager, and Sicco Verwer · 2012
Earlier work this paper cites.
Guaranteed Safe Online Learning via Reachability: Tracking a Ground Target Using a Quadrotor
J. H. Gillula and C. J. Tomlin · 2012
Earlier work this paper cites.
Optimal control
Frank L Lewis, Draguna Vrabie, and Vassilis L Syrmos · 2012
Earlier work this paper cites.
Learning Behavior Models for Hybrid Timed Systems
Oliver Niggemann, Benno Stein, Asmir Vodencarevic, Alexander G Maier, and Hans Kleine Büning · 2012
Earlier work this paper cites.
Challenging SMT solvers to verify neural networks
Luca Pulina and Armando Tacchella · 2012
Earlier work this paper cites.
IDS: An Incremental Learning Algorithm for Finite Automata
Muddassar A. Sindhu and Karl Meinke · 2012
Earlier work this paper cites.
Efficiently identifying deterministic real-time automata from labeled data
Sicco Verwer, Mathijs de Weerdt, and Cees Witteveen · 2012
Earlier work this paper cites.
Automated Inference of Excitable Cell Models as Hybrid Automata
Rasmus Ansin and Didrik Lundberg · 2013
Earlier work this paper cites.
Multi-Parametric Toolbox 3.0
M. Herceg, M. Kvasnica, C.N. Jones, and M. Morari · 2013
Earlier work this paper cites.
Concurrent learning-based approximate optimal regulation
Rushikesh Kamalapurkar, Patrick Walters, and Warren E. Dixon · 2013
Earlier work this paper cites.
Intriguing properties of neural networks
Christian Szegedy, Wojciech Zaremba, Ilya Sutskever, Joan Bruna, Dumitru Erhan, Ian J. Goodfellow, and Rob Fergus · 2013
Earlier work this paper cites.
Reachability-Based Safe Learning with Gaussian Processes
A. K. Akametalu, J. F. Fisac, J. H. Gillula, S. Kaynama, M. N. Zeilinger, and C. J. Tomlin · 2014
Earlier work this paper cites.
Real-Time Reachability for Verified Simplex Design
Stanley Bak, Taylor T Johnson, Marco Caccamo, and Lui Sha · 2014
Earlier work this paper cites.
Fuzzy Neural Network-Based Adaptive Control for a Class of Uncertain Nonlinear Stochastic Systems
C. L. P. Chen, Y. J. Liu, and G. X. Wen · 2014
Cited alongside, same era.
Dynamic Learning From Adaptive Neural Network Control of a Class of Nonaffine Nonlinear Systems
S. L. Dai, C. Wang, and M. Wang · 2014
Cited alongside, same era.
Adaptive Control of a Flexible Crane System With the Boundary Output Constraint
W. He, S. Zhang, and S. S. Ge · 2014
Cited alongside, same era.
Robust adaptive control of a thruster assisted position mooring system
Wei He, Shuang Zhang, and Shuzhi Sam Ge · 2014
Cited alongside, same era.
Composite Neural Dynamic Surface Control of a Class of Uncertain Nonlinear Systems in Strict-Feedback Form
B. Xu, Z. Shi, C. Yang, and F. Sun · 2014
Cited alongside, same era.
A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems
Jaime F. Fisac, Anayo K. Akametalu, Melanie Nicole Zeilinger, Shahab Kaynama, Jeremy H. Gillula, and Claire J. Tomlin · 2017
Later among the works it cites.
Pragmatic-Pedagogic Value Alignment
Jaime F. Fisac, Monica A. Gates, Jessica B. Hamrick, Chang Liu, Dylan Hadfield-Menell, Malayandi Palaniappan, Dhruv Malik, S. Shankar Sastry, Thomas L. Griffiths, and Anca D. Dragan · 2017
Later among the works it cites.
Adaptive Neural Network Control of a Marine Vessel With Constraints Using the Asymmetric Barrier Lyapunov Function
W. He, Z. Yin, and C. Sun · 2017
Later among the works it cites.
Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation
Matthias Hein and Maksym Andriushchenko · 2017
Later among the works it cites.
FaSTrack: a Modular Framework for Fast and Guaranteed Safe Motion Planning
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
H. Zhang, C. Qin, and Y. Luo · 2014
Cited alongside, same era.
Periodically-Scheduled Controller Analysis using Hybrid Systems Reachability and Continuization
Stanley Bak and Taylor T. Johnson · 2015
Cited alongside, same era.
PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior
Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli, and Martin Wehrle · 2015
Cited alongside, same era.
Deepdriving: Learning affordance for direct perception in autonomous driving
Chenyi Chen, Ari Seff, Alain Kornhauser, and Jianxiong Xiao · 2015
Cited alongside, same era.
Safe Platooning of Unmanned Aerial Vehicles via Reachability
Mo Chen, Qie Hu, Casey Mackin, Jaime F. Fisac, and Claire J. Tomlin · 2015
Cited alongside, same era.
A Comprehensive Survey on Safe Reinforcement Learning
Javier García and Fernando Fernández · 2015
Cited alongside, same era.
Neural Network Control of a Rehabilitation Robot by State and Output Feedback
Wei He, Shuzhi Sam Ge, Yanan Li, Effie Chew, and Yee Sien Ng · 2015
Cited alongside, same era.
Sylvia L. Herbert, Mo Chen, SooJean Han, Somil Bansal, Jaime F. Fisac, and Claire J. Tomlin · 2017
Later among the works it cites.
Periodic Task Mining in Embedded System Traces
Oleg Iegorov, Reinier Torres, and Sebastian Fischmeister · 2017
Later among the works it cites.
On Learning Sparse Boolean Formulae for Explaining AI Decisions
S. Jha, V. Raman, and T.and Francis M. Pinto, A.and Sahai · 2017
Later among the works it cites.
TeLEx: Passive STL Learning Using Only Positive Examples
S. Jha, A. Tiwari, and T.and Shankar N. Seshia, S.A.and Sahai · 2017
Later among the works it cites.
Reachable set estimation for inertial Markov jump BAM neural network with partially unknown transition rates and bounded disturbances
Huihui Ji, He Zhang, and Tian Senping · 2017
Later among the works it cites.
Neural Network Guidance for UAVs
Kyle Julian and Mykel J. Kochenderfer · 2017
Later among the works it cites.
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
G. Katz, C. Barrett, D. Dill, K. Julian, and M. Kochenderfer · 2017
Later among the works it cites.
An Introduction to Adversarial Machine Learning
Atul Kumar, Sameep Mehta, and Deepak Vijaykeerthy · 2017
Later among the works it cites.
An approach to reachability analysis for feed-forward ReLU neural networks
Alessio Lomuscio and Lalit Maganti · 2017
Later among the works it cites.
Verifying Properties of Binarized Deep Neural Networks
Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, and Toby Walsh · 2017
Later among the works it cites.
DeepXplore: Automated Whitebox Testing of Deep Learning Systems
Kexin Pei, Yinzhi Cao, Junfeng Yang, and Suman Jana · 2017
Later among the works it cites.
Robust Adversarial Reinforcement Learning
Lerrel Pinto, James Davidson, Rahul Sukthankar, and Abhinav Gupta · 2017
Later among the works it cites.
Trial without Error: Towards Safe Reinforcement Learning via Human Intervention
William Saunders, Girish Sastry, Andreas Stuhlmüller, and Owain Evans · 2017
Later among the works it cites.
Certifying Some Distributional Robustness with Principled Adversarial Training
A. Sinha, H. Namkoong, and J. Duchi · 2017
Later among the works it cites.
CHARDA: Causal Hybrid Automata Recovery via Dynamic Analysis
Adam Summerville, Joseph C. Osborn, and Michael Mateas · 2017
Later among the works it cites.
DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars
Yuchi Tian, Kexin Pei, Suman Jana, and Baishakhi Ray · 2017
Later among the works it cites.
Verifying Neural Networks with Mixed Integer Programming
Vincent Tjeng and Russ Tedrake · 2017
Later among the works it cites.
Provable Defenses against Adversarial Examples via the Convex Outer Adversarial Polytope
Eric Wong and J Zico Kolter · 2017
Later among the works it cites.
Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations
Weiming Xiang, Hoang-Dung Tran, and Taylor T Johnson · 2017
Later among the works it cites.
Car-following Behavior Model Learning Using Timed Automata
Yihuan Zhang, Qin Lin, Jun Wang, and Sicco Verwer · 2017
Later among the works it cites.
The State of Solutions for Autonomous Systems Safety
Robert David Alexander, Rob Ashmore, and Andrew Banks · 2018
Closest in time.
Virtuously Safe Reinforcement Learning
H. Aslund, E. Mahdi El Mhamdi, R. Guerraoui, and A. Maurer · 2018
Closest in time.
Semantic Adversarial Deep Learning
T. Dreossi, S. Jha, and S. A. Seshia · 2018
Closest in time.
Output Range Analysis for Deep Feedforward Neural Networks
Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, and Ashish Tiwari · 2018
Closest in time.
A Dual Approach to Scalable Verification of Deep Networks
Krishnamurthy Dvijotham, Robert Stanforth, Sven Gowal, Timothy Mann, and Pushmeet Kohli · 2018
Closest in time.
Safe Reinforcement Learning via Formal Methods: Toward Safe Control Through Proof and Learning
Nathan Fulton and André Platzer · 2018
Closest in time.
A I 2 AI^{2} : Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Timon Gehr, Matthew Mirman, Dana Draschler Cohen, Petar Tsankov, Swarat Chaudhuri, and Martin Vechev · 2018
Closest in time.
Reinforcement Learning for Optimal Feedback Control: A Lyapunov-Based Approach
Rushikesh Kamalapurkar, Patrick Walters, Joel Rosenfeld, and Warren Dixon · 2018
Closest in time.
Automated Verification of Neural Networks: Advances, Challenges and Perspectives
F. Leofante, N. Narodytska, L. Pulina, and A. Tacchella · 2018
Closest in time.
Accelerated Primal-Dual Policy Optimization for Safe Reinforcement Learning
Qingkai Liang, Fanyu Que, and Eytan Modiano · 2018
Closest in time.
Lei Ma, Felix Juefei-Xu, Jiyuan Sun, Chunyang Chen, Ting Su, Fuyuan Zhang, Minhui Xue, Bo Li, Li Li, Yang Liu, Jianjun Zhao, and Yadong Wang · 2018
Closest in time.
Sensitivity and Generalization in Neural Networks: an Empirical Study
R. Novak, Y. Bahri, D. A. Abolafia, J. Pennington, and J. Sohl-Dickstein · 2018
Closest in time.
Verification and repair of control policies for safe reinforcement learning
Shashank Pathak, Luca Pulina, and Armando Tacchella · 2018
Closest in time.
Certified Defenses against Adversarial Examples
Aditi Raghunathan, Jacob Steinhardt, and Percy Liang · 2018
Closest in time.
Reachability Analysis of Deep Neural Networks with Provable Guarantees
W. Ruan, X. Huang, and M. Kwiatkowska · 2018
Closest in time.
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L 0 L_{0} Norm
W. Ruan, M. Wu, Y. Sun, X. Huang, D. Kroening, and M. Kwiatkowska · 2018
Closest in time.
Concolic Testing for Deep Neural Networks
Y. Sun, M. Wu, W. Ruan, X. Huang, M. Kwiatkowska, and D. Kroening · 2018
Closest in time.
Youcheng Sun, Xiaowei Huang, and Daniel Kroening · 2018
Closest in time.
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components
C. Erkan Tuncali, G. Fainekos, H. Ito, and J. Kapinski · 2018
Closest in time.
Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems
Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, and Jyotirmoy V. Deshmukh · 2018
Closest in time.
Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples
Ashwin J Vijayakumar, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, and Sumit Gulwani · 2018
Closest in time.
Formal Security Analysis of Neural Networks using Symbolic Intervals
S. Wang, K. Pei, J. Whitehouse, J. Yang, and S. Jana · 2018
Closest in time.
Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approach
T.-W. Weng, H. Zhang, P.-Y. Chen, J. Yi, D. Su, Y. Gao, C.-J. Hsieh, and L. Daniel · 2018
Closest in time.
Towards Fast Computation of Certified Robustness for ReLU Networks
Tsui-Wei Weng, Huan Zhang, Hongge Chen, Zhao Song, Cho-Jui Hsieh, Duane Boning, Inderjit S Dhillon, and Luca Daniel · 2018
Closest in time.
Feature-Guided Black-Box Safety Testing of Deep Neural Networks
Matthew Wicker, Xiaowei Huang, and Marta Kwiatkowska · 2018
Closest in time.
Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems
Weiming Xiang, Diego Manzanas Lopez, Patrick Musau, and Taylor T Johnson · 2018
Closest in time.
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
Weiming Xiang, Hoang-Dung Tran, and Taylor T Johnson · 2018
Closest in time.
Weiming Xiang, Hoang-Dung Tran, Joel A Rosenfeld, and Taylor T Johnson · 2018
Closest in time.
Coverage-Guided Fuzzing for Deep Neural Networks
X. Xie, L. Ma, F. Juefei-Xu, H. Chen, M. Xue, B. Li, Y. Liu, J. Zhao, J. Yin, and S. See · 2018
Closest in time.