{"list":"other","total":56,"rows":[{"id":"1412.6980","title":"Adam: A Method for Stochastic Optimization","created":"2014-12-22","cited_by_count":37240},{"id":"1707.06347","title":"Proximal Policy Optimization Algorithms","created":"2017-07-20","cited_by_count":15215},{"id":"1312.6199","title":"Intriguing properties of neural networks","created":"2013-12-21","cited_by_count":5155},{"id":"1509.02971","title":"Continuous control with deep reinforcement learning","created":"2015-09-09","cited_by_count":3407},{"id":"1607.02533","title":"Adversarial examples in the physical world","created":"2016-07-08","cited_by_count":1769},{"id":"1606.06565","title":"Concrete Problems in AI Safety","created":"2016-06-21","cited_by_count":1642},{"id":"1705.10528","title":"Constrained Policy Optimization","created":"2017-05-30","cited_by_count":983},{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"id":"1708.06131","title":"Evasion Attacks against Machine Learning at Test Time","created":"2017-08-21","cited_by_count":689},{"id":"1708.08611","title":"Safe Reinforcement Learning via Shielding","created":"2017-08-29","cited_by_count":449},{"id":"1805.10965","title":"Lipschitz regularity of deep neural networks: analysis and efficient estimation","created":"2018-05-28","cited_by_count":415},{"id":"1604.06778","title":"Benchmarking Deep Reinforcement Learning for Continuous Control","created":"2016-04-22","cited_by_count":371},{"id":"2108.06266","title":"Safe Learning in Robotics: From Learning-Based Control to Safe Reinforcement Learning","created":"2021-08-13","cited_by_count":371},{"id":"1705.08551","title":"Safe Model-based Reinforcement Learning with Stability Guarantees","created":"2017-05-23","cited_by_count":366},{"id":"1810.12715","title":"On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models","created":"2018-10-30","cited_by_count":328},{"id":"1804.04368","title":"Regularisation of Neural Networks by Enforcing Lipschitz Continuity","created":"2018-04-12","cited_by_count":314},{"id":"1906.04893","title":"Efficient and Accurate Estimation of Lipschitz Constants for Deep Neural Networks","created":"2019-06-12","cited_by_count":293},{"id":"1609.06408","title":"Control Barrier Function Based Quadratic Programs for Safety Critical Systems","created":"2016-09-21","cited_by_count":287},{"id":"1610.06940","title":"Safety Verification of Deep Neural Networks","created":"2016-10-21","cited_by_count":263},{"id":"1804.09699","title":"Towards Fast Computation of Certified Robustness for ReLU Networks","created":"2018-04-25","cited_by_count":255},{"id":"1806.09460","title":"A Tour of Reinforcement Learning: The View from Continuous Control","created":"2018-06-25","cited_by_count":151},{"id":"2202.11762","title":"Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods","created":"2022-02-23","cited_by_count":151},{"id":"2005.00611","title":"Neural Lyapunov Control","created":"2020-05-01","cited_by_count":142},{"id":"2003.01219","title":"Exactly Computing the Local Lipschitz Constant of ReLU Networks","created":"2020-03-02","cited_by_count":102},{"id":"2005.02929","title":"Training robust neural networks using Lipschitz bounds","created":"2020-05-06","cited_by_count":99},{"id":"2405.06624","title":"Towards Guaranteed Safe AI: A Framework for Ensuring Robust and Reliable AI Systems","created":"2024-05-10","cited_by_count":96},{"id":"1808.00924","title":"The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems","created":"2018-08-02","cited_by_count":88},{"id":"2004.08688","title":"Lipschitz constant estimation of Neural Networks via sparse polynomial optimization","created":"2020-04-18","cited_by_count":87},{"id":"2004.07584","title":"Reinforcement Learning for Safety-Critical Control under Model Uncertainty, using Control Lyapunov Functions and Control Barrier Functions","created":"2020-04-16","cited_by_count":68},{"id":"1903.01014","title":"Lipschitz Certificates for Layered Network Structures Driven by Averaged Activation Operators","created":"2019-03-03","cited_by_count":55},{"id":"2405.21063","title":"Neural Network Verification with Branch-and-Bound for General Nonlinearities","created":"2024-05-31","cited_by_count":47},{"id":"2210.07394","title":"Efficiently Computing Local Lipschitz Constants of Neural Networks via Bound Propagation","created":"2022-10-13","cited_by_count":45},{"id":"2206.01913","title":"Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees","created":"2022-06-04","cited_by_count":40},{"id":"2103.12531","title":"CLIP: Cheap Lipschitz Training of Neural Networks","created":"2021-03-23","cited_by_count":29},{"id":"1810.11783","title":"RecurJac: An Efficient Recursive Algorithm for Bounding Jacobian Matrix of Neural Networks and Its Applications","created":"2018-10-28","cited_by_count":27},{"id":"2112.09495","title":"Stability Verification in Stochastic Control Systems via Neural Network Supermartingales","created":"2021-12-17","cited_by_count":26},{"id":"2107.04570","title":"ANCER: Anisotropic Certification via Sample-wise Volume Maximization","created":"2021-07-09","cited_by_count":23},{"id":"2210.05308","title":"Learning Control Policies for Stochastic Systems with Reach-avoid Guarantees","created":"2022-10-11","cited_by_count":23},{"id":"2305.06547","title":"Neural Lyapunov Control for Discrete-Time Systems","created":"2023-05-11","cited_by_count":23},{"id":"2206.01463","title":"Safety Certification for Stochastic Systems via Neural Barrier Functions","created":"2022-06-03","cited_by_count":22},{"id":"1905.04585","title":"Formal Synthesis of Stochastic Systems via Control Barrier Certificates","created":"2019-05-11","cited_by_count":21},{"id":"2105.05495","title":"LipBaB: Computing exact Lipschitz constant of ReLU networks","created":"2021-05-12","cited_by_count":16},{"id":"2301.01526","title":"Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions","created":"2023-01-04","cited_by_count":16},{"id":"1909.05109","title":"A Barrier Function Approach to Finite-Time Stochastic System Verification and Control","created":"2019-09-10","cited_by_count":14},{"id":"2003.03498","title":"Control Barrier Functions for Stochastic Systems","created":"2020-03-07","cited_by_count":14},{"id":"2206.07811","title":"Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions","created":"2022-06-15","cited_by_count":14},{"id":"2312.01456","title":"Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees","created":"2023-12-03","cited_by_count":14},{"id":"2104.14672","title":"Analytical bounds on the local Lipschitz constants of ReLU networks","created":"2021-04-29","cited_by_count":12},{"id":"2405.17304","title":"Stochastic Omega-Regular Verification and Control with Supermartingales","created":"2024-05-27","cited_by_count":11},{"id":"1611.01063","title":"Stochastic Invariants for Probabilistic Termination","created":"2016-11-03","cited_by_count":8},{"id":"2104.02172","title":"Strategy Synthesis for Partially-known Switched Stochastic Systems","created":"2021-04-05","cited_by_count":6},{"id":"1709.04037","title":"Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs","created":"2017-09-12","cited_by_count":5},{"id":"2210.05304","title":"Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems","created":"2022-10-11","cited_by_count":5},{"id":"1302.3868","title":"Symbolic control of stochastic systems via approximately bisimilar finite abstractions","created":"2013-02-15","cited_by_count":4},{"id":"2401.03555","title":"IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems","created":"2024-01-07","cited_by_count":3},{"id":"2404.16986","title":"Piecewise Stochastic Barrier Functions","created":"2024-04-25","cited_by_count":2}],"next_cursor":null}