{"list":"other","total":50,"rows":[{"id":"1702.01135","title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks","created":"2017-02-03","cited_by_count":744},{"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":"1610.06940","title":"Safety Verification of Deep Neural Networks","created":"2016-10-21","cited_by_count":263},{"id":"1705.01320","title":"Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks","created":"2017-05-03","cited_by_count":242},{"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":"1706.07351","title":"An approach to reachability analysis for feed-forward ReLU neural networks","created":"2017-06-22","cited_by_count":127},{"id":"2109.06697","title":"Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions","created":"2021-09-14","cited_by_count":94},{"id":"1811.01828","title":"Verisig: verifying safety properties of hybrid systems with neural network controllers","created":"2018-11-05","cited_by_count":84},{"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":"1910.14574","title":"An Abstraction-Based Framework for Neural Network Verification","created":"2019-10-31","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":"1410.6445","title":"Reach-Avoid Problems with Time-Varying Dynamics, Targets and Constraints","created":"2014-10-23","cited_by_count":44},{"id":"1904.09959","title":"Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness","created":"2019-04-22","cited_by_count":40},{"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":"2007.09527","title":"Abstraction based Output Range Analysis for Neural Networks","created":"2020-07-18","cited_by_count":34},{"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":"2103.12535","title":"NNrepair: Constraint-based Repair of Neural Network Classifiers","created":"2021-03-23","cited_by_count":26},{"id":"2201.01978","title":"An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks","created":"2022-01-06","cited_by_count":24},{"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":"1901.01536","title":"Exploring applications of deep reinforcement learning for real-world autonomous driving systems","created":"2019-01-06","cited_by_count":18},{"id":"2202.03898","title":"Verification-Aided Deep Ensemble Selection","created":"2022-02-08","cited_by_count":18},{"id":"2208.03083","title":"Neural Network Verification using Residual Reasoning","created":"2022-08-05","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":"1801.05950","title":"Toward Scalable Verification for Safety-Critical Deep Networks","created":"2018-01-18","cited_by_count":12},{"id":"2406.04184","title":"Shield Synthesis for LTL Modulo Theories","created":"2024-06-06","cited_by_count":12},{"id":"1903.00520","title":"A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers","created":"2019-03-01","cited_by_count":11},{"id":"2302.05745","title":"Verifying Generalization in Deep Learning","created":"2023-02-11","cited_by_count":11},{"id":"2005.12175","title":"Formal Methods with a Touch of Magic","created":"2020-05-25","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":"2210.12871","title":"Tighter Abstract Queries in Neural Network Verification","created":"2022-10-23","cited_by_count":8},{"id":"2402.05284","title":"Analyzing Adversarial Inputs in Deep Reinforcement Learning","created":"2024-02-07","cited_by_count":7},{"id":"2309.06090","title":"A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis","created":"2023-09-12","cited_by_count":6},{"id":"1907.12933","title":"Incremental Bounded Model Checking of Artificial Neural Networks in CUDA","created":"2019-07-30","cited_by_count":3},{"id":"2010.10740","title":"Safety Verification of Model Based Reinforcement Learning Controllers","created":"2020-10-21","cited_by_count":3},{"id":"2309.03846","title":"Scalable Forward Reachability Analysis of Multi-Agent Systems with Neural Network Controllers","created":"2023-09-07","cited_by_count":3}],"next_cursor":null}