The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems

2 August 2018

Papers citing "The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems"

9 / 9 papers shown

Title
Pareto Control Barrier Function for Inner Safe Set Maximization Under Input Constraints Xiaoyang Cao Zhe Fu Alexandre M. Bayen 52 0 0 05 Oct 2024
Reinforcement learning Florentin Wörgötter 61 2,569 0 16 May 2024
Learning-based Model Predictive Control for Safe Exploration Torsten Koller Felix Berkenkamp M. Turchetta Andreas Krause 39 376 0 22 Mar 2018
Safe Model-based Reinforcement Learning with Stability Guarantees Felix Berkenkamp M. Turchetta Angela P. Schoellig Andreas Krause 126 845 0 23 May 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 290 1,849 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 198 935 0 21 Oct 2016
Concrete Problems in AI Safety Dario Amodei C. Olah Jacob Steinhardt Paul Christiano John Schulman Dandelion Mané 147 2,371 0 21 Jun 2016
TensorFlow: A system for large-scale machine learning Martín Abadi P. Barham Jianmin Chen Zhiwen Chen Andy Davis ... Vijay Vasudevan Pete Warden Martin Wicke Yuan Yu Xiaoqiang Zhang GNN AI4CE 336 18,300 0 27 May 2016
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 166 14,831 1 21 Dec 2013