{"list":"other","total":56,"rows":[{"id":"1312.5602","title":"Playing Atari with Deep Reinforcement Learning","created":"2013-12-19","cited_by_count":3274},{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"id":"1708.08611","title":"Safe Reinforcement Learning via Shielding","created":"2017-08-29","cited_by_count":449},{"id":"1903.11199","title":"Control Barrier Functions: Theory and Applications","created":"2019-03-27","cited_by_count":372},{"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":"1805.07708","title":"A Lyapunov-based Approach to Safe Reinforcement Learning","created":"2018-05-20","cited_by_count":297},{"id":"1609.06408","title":"Control Barrier Function Based Quadratic Programs for Safety Critical Systems","created":"2016-09-21","cited_by_count":287},{"id":"1709.07523","title":"Hamilton-Jacobi Reachability: A Brief Overview and Recent Advances","created":"2017-09-21","cited_by_count":201},{"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":"2109.06697","title":"Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions","created":"2021-09-14","cited_by_count":94},{"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":"2401.14461","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","created":"2024-01-25","cited_by_count":81},{"id":"2101.05436","title":"Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates","created":"2021-01-14","cited_by_count":74},{"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":"2205.07536","title":"Reachability Constrained Reinforcement Learning","created":"2022-05-16","cited_by_count":59},{"id":"2112.12288","title":"Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning","created":"2021-12-23","cited_by_count":49},{"id":"2011.02948","title":"An SMT-Based Approach for Verifying Binarized Neural Networks","created":"2020-11-05","cited_by_count":47},{"id":"2008.05952","title":"Learning Stability Certificates from Data","created":"2020-08-13","cited_by_count":45},{"id":"1410.6445","title":"Reach-Avoid Problems with Time-Varying Dynamics, Targets and Constraints","created":"2014-10-23","cited_by_count":44},{"id":"1501.02573","title":"Shield Synthesis: Runtime Enforcement for Reactive Systems","created":"2015-01-12","cited_by_count":42},{"id":"2206.01913","title":"Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees","created":"2022-06-04","cited_by_count":40},{"id":"1912.00574","title":"Fastened CROWN: Tightened Neural Network Robustness Certificates","created":"2019-12-02","cited_by_count":39},{"id":"2108.01220","title":"OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems","created":"2021-08-03","cited_by_count":38},{"id":"2312.16760","title":"The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results","created":"2023-12-28","cited_by_count":38},{"id":"2309.13528","title":"Iterative Reachability Estimation for Safe Reinforcement Learning","created":"2023-09-24","cited_by_count":37},{"id":"2104.01396","title":"Neural Network Robustness as a Verification Property: A Principled Case Study","created":"2021-04-03","cited_by_count":35},{"id":"2107.04989","title":"Stabilizing Neural Control Using Self-Learned Almost Lyapunov Critics","created":"2021-07-11","cited_by_count":35},{"id":"2105.11931","title":"Towards Scalable Verification of Deep Reinforcement Learning","created":"2021-05-25","cited_by_count":33},{"id":"2205.13536","title":"Verifying Learning-Based Robotic Navigation Systems","created":"2022-05-26","cited_by_count":33},{"id":"1612.01554","title":"Robustness of Control Barrier Functions for Safety Critical Control","created":"2016-12-05","cited_by_count":30},{"id":"1601.04037","title":"Funnel Libraries for Real-Time Robust Feedback Motion Planning","created":"2016-01-15","cited_by_count":29},{"id":"2305.14154","title":"Solving Stabilize-Avoid Optimal Control via Epigraph Form and Deep Reinforcement Learning","created":"2023-05-23","cited_by_count":24},{"id":"2308.00143","title":"Formally Explaining Neural Networks within Reactive Systems","created":"2023-07-31","cited_by_count":24},{"id":"2305.06547","title":"Neural Lyapunov Control for Discrete-Time Systems","created":"2023-05-11","cited_by_count":23},{"id":"2105.13649","title":"Pruning and Slicing Neural Networks using Formal Verification","created":"2021-05-28","cited_by_count":20},{"id":"1901.01536","title":"Exploring applications of deep reinforcement learning for real-world autonomous driving systems","created":"2019-01-06","cited_by_count":18},{"id":"2010.03842","title":"Adaptive Shielding under Uncertainty","created":"2020-10-08","cited_by_count":18},{"id":"2202.03898","title":"Verification-Aided Deep Ensemble Selection","created":"2022-02-08","cited_by_count":18},{"id":"2209.12266","title":"Enforcing safety for vision-based controllers via Control Barrier Functions and Neural Radiance Fields","created":"2022-09-25","cited_by_count":16},{"id":"2311.09793","title":"Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models","created":"2023-11-16","cited_by_count":15},{"id":"2110.09929","title":"Minimal Multi-Layer Modifications of Deep Neural Networks","created":"2021-10-18","cited_by_count":14},{"id":"2310.09360","title":"Exact Verification of ReLU Neural Control Barrier Functions","created":"2023-10-13","cited_by_count":14},{"id":"2212.03287","title":"veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System","created":"2022-12-06","cited_by_count":12},{"id":"2206.09603","title":"Constrained Reinforcement Learning for Robotics via Scenario-Based Programming","created":"2022-06-20","cited_by_count":11},{"id":"2302.05745","title":"Verifying Generalization in Deep Learning","created":"2023-02-11","cited_by_count":11},{"id":"2007.10865","title":"Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers","created":"2020-07-21","cited_by_count":10},{"id":"2207.13891","title":"Quantifying Safety of Learning-based Self-Driving Control Using Almost-Barrier Functions","created":"2022-07-28","cited_by_count":10},{"id":"2303.02215","title":"Learning Stabilization Control from Observations by Learning Lyapunov-like Proxy Models","created":"2023-03-03","cited_by_count":10},{"id":"2307.03015","title":"Sequential Neural Barriers for Scalable Dynamic Obstacle Avoidance","created":"2023-07-06","cited_by_count":9},{"id":"1908.05402","title":"Shield Synthesis for Real: Enforcing Safety in Cyber-Physical Systems","created":"2019-08-15","cited_by_count":8},{"id":"2202.04337","title":"Scenario-Assisted Deep Reinforcement Learning","created":"2022-02-09","cited_by_count":8},{"id":"2402.05284","title":"Analyzing Adversarial Inputs in Deep Reinforcement Learning","created":"2024-02-07","cited_by_count":7},{"id":"2006.03863","title":"Guarded Deep Learning using Scenario-Based Modeling","created":"2020-06-06","cited_by_count":6},{"id":"2404.18813","title":"Safe Reach Set Computation via Neural Barrier Certificates","created":"2024-04-29","cited_by_count":5},{"id":"1909.00408","title":"On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers","created":"2019-09-01","cited_by_count":4}],"next_cursor":null}