{"list":"other","total":65,"rows":[{"id":"1811.00866","title":"Efficient Neural Network Robustness Certification with General Activation Functions","created":"2018-11-02","cited_by_count":445},{"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":"1705.08551","title":"Safe Model-based Reinforcement Learning with Stability Guarantees","created":"2017-05-23","cited_by_count":366},{"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":"2010.15920","title":"Recovery RL: Safe Reinforcement Learning with Learned Recovery Zones","created":"2020-10-29","cited_by_count":175},{"id":"1705.01292","title":"A General Safety Framework for Learning-Based Control in Uncertain Robotic Systems","created":"2017-05-03","cited_by_count":163},{"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":"1812.05506","title":"A predictive safety filter for learning-based control of constrained nonlinear dynamical systems","created":"2018-12-13","cited_by_count":118},{"id":"2010.14603","title":"Learning to be Safe: Deep RL with a Safety Critic","created":"2020-10-27","cited_by_count":116},{"id":"2010.14497","title":"Conservative Safety Critics for Exploration","created":"2020-10-27","cited_by_count":113},{"id":"2109.06697","title":"Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions","created":"2021-09-14","cited_by_count":94},{"id":"2004.03315","title":"Learning Control Barrier Functions from Expert Demonstrations","created":"2020-04-07","cited_by_count":92},{"id":"2011.02082","title":"DeepReach: A Deep Learning Approach to High-Dimensional Reachability","created":"2020-11-04","cited_by_count":91},{"id":"2104.02808","title":"Robust Control Barrier-Value Functions for Safety-Critical Control","created":"2021-04-06","cited_by_count":51},{"id":"2112.12288","title":"Safety and Liveness Guarantees through Reach-Avoid Reinforcement Learning","created":"2021-12-23","cited_by_count":49},{"id":"2103.12474","title":"On Exposing the Challenging Long Tail in Future Prediction of Traffic Actors","created":"2021-03-23","cited_by_count":48},{"id":"1910.10885","title":"Robust Model Predictive Shielding for Safe Reinforcement Learning with Stochastic Dynamics","created":"2019-10-24","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":"2004.07876","title":"Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming","created":"2020-04-16","cited_by_count":43},{"id":"2108.04140","title":"Reachability Analysis of Neural Feedback Loops","created":"2021-08-09","cited_by_count":41},{"id":"1609.01387","title":"Learning Model Predictive Control for iterative tasks. A Data-Driven Control Framework","created":"2016-09-06","cited_by_count":39},{"id":"1803.08552","title":"Linear model predictive safety certification for learning-based control","created":"2018-03-22","cited_by_count":37},{"id":"2010.16001","title":"Guaranteeing Safety of Learned Perception Modules via Measurement-Robust Control Barrier Functions","created":"2020-10-30","cited_by_count":33},{"id":"1806.00109","title":"Probabilistically Safe Robot Planning with Confidence-Based Human Predictions","created":"2018-05-31","cited_by_count":28},{"id":"2212.03228","title":"ISAACS: Iterative Soft Adversarial Actor-Critic for Safety","created":"2022-12-06","cited_by_count":28},{"id":"2201.08355","title":"Sim-to-Lab-to-Real: Safe Reinforcement Learning with Shielding and Generalization Guarantees","created":"2022-01-20","cited_by_count":27},{"id":"2012.03390","title":"On Infusing Reachability-Based Safety Assurance within Planning Frameworks for Human-Robot Vehicle Interactions","created":"2020-12-06","cited_by_count":25},{"id":"2011.04112","title":"Learning Hybrid Control Barrier Functions from Data","created":"2020-11-08","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":"2105.08169","title":"Safe Occlusion-aware Autonomous Driving via Game-Theoretic Active Perception","created":"2021-05-17","cited_by_count":23},{"id":"1906.10417","title":"Probabilistic model predictive safety certification for learning-based control","created":"2019-06-25","cited_by_count":22},{"id":"2109.14700","title":"Safety Assurances for Human-Robot Interaction via Confidence-aware Game-theoretic Human Models","created":"2021-09-29","cited_by_count":21},{"id":"1611.00122","title":"Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems","created":"2016-11-01","cited_by_count":18},{"id":"1802.08917","title":"Permissive Barrier Certificates for Safe Stabilization Using Sum-of-squares","created":"2018-02-24","cited_by_count":15},{"id":"2102.07039","title":"FaSTrack: a Modular Framework for Real-Time Motion Planning and Guaranteed Safe Tracking","created":"2021-02-14","cited_by_count":15},{"id":"2204.12507","title":"Refining Control Barrier Functions through Hamilton-Jacobi Reachability","created":"2022-04-26","cited_by_count":15},{"id":"2210.01199","title":"Online Update of Safety Assurances Using Confidence-Based Predictions","created":"2022-10-03","cited_by_count":15},{"id":"2101.06492","title":"Learning Robust Hybrid Control Barrier Functions for Uncertain Systems","created":"2021-01-16","cited_by_count":14},{"id":"2104.11332","title":"Backup Control Barrier Functions: Formulation and Comparative Study","created":"2021-04-22","cited_by_count":12},{"id":"2110.00843","title":"SHARP: Shielding-Aware Robust Planning for Safe and Efficient Human-Robot Interaction","created":"2021-10-02","cited_by_count":12},{"id":"2209.14976","title":"Parameter-Conditioned Reachable Sets for Updating Safety Assurances Online","created":"2022-09-29","cited_by_count":12},{"id":"1809.06746","title":"Bridging the Gap Between Safety and Real-Time Performance in Receding-Horizon Trajectory Design for Mobile Robots","created":"2018-09-18","cited_by_count":11},{"id":"2005.14549","title":"Improving Automated Driving through POMDP Planning with Human Internal States","created":"2020-05-28","cited_by_count":11},{"id":"2104.14159","title":"Probabilistic Safety-Assured Adaptive Merging Control for Autonomous Vehicles","created":"2021-04-29","cited_by_count":11},{"id":"2209.12336","title":"Generating Formal Safety Assurances for High-Dimensional Reachability","created":"2022-09-25","cited_by_count":11},{"id":"1803.03237","title":"A Classification-based Approach for Approximate Reachability","created":"2018-03-08","cited_by_count":10},{"id":"2202.07720","title":"Active Uncertainty Reduction for Human-Robot Interaction: An Implicit Dual Control Approach","created":"2022-02-15","cited_by_count":10},{"id":"1903.07715","title":"Reachability-Based Safety Guarantees using Efficient Initializations","created":"2019-03-18","cited_by_count":9},{"id":"1808.00649","title":"Robust Tracking with Model Mismatch for Fast and Safe Planning: an SOS Optimization Approach","created":"2018-08-02","cited_by_count":8},{"id":"1609.06807","title":"Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control","created":"2016-09-22","cited_by_count":7},{"id":"2203.01404","title":"Self-Supervised Online Learning for Safety-Critical Control using Stereo Vision","created":"2022-03-02","cited_by_count":6},{"id":"2203.10142","title":"Infinite-Horizon Reach-Avoid Zero-Sum Games via Deep Reinforcement Learning","created":"2022-03-18","cited_by_count":6},{"id":"2103.08041","title":"Safe Controller Synthesis with Tunable Input-to-State Safe Control Barrier Functions","created":"2021-03-14","cited_by_count":5},{"id":"2109.12490","title":"Anytime Game-Theoretic Planning with Active Reasoning About Humans' Latent States for Human-Centered Robots","created":"2021-09-26","cited_by_count":5},{"id":"2307.00193","title":"Fast, Smooth, and Safe: Implicit Control Barrier Functions through Reach-Avoid Differential Dynamic Programming","created":"2023-07-01","cited_by_count":5},{"id":"1611.03924","title":"Robust MPC via Min-Max Differential Inequalities","created":"2016-11-12","cited_by_count":4},{"id":"1705.00091","title":"Safe Trajectory Synthesis for Autonomous Driving in Unforeseen Environments","created":"2017-04-28","cited_by_count":4},{"id":"1902.02851","title":"Towards Provably Not-at-Fault Control of Autonomous Robots in Arbitrary Dynamic Environments","created":"2019-02-07","cited_by_count":4},{"id":"1811.07834","title":"Safely Probabilistically Complete Real-Time Planning and Exploration in Unknown Environments","created":"2018-11-19","cited_by_count":3},{"id":"2005.07144","title":"Eyes-Closed Safety Kernels: Safety for Autonomous Systems Under Loss of Observability","created":"2020-05-14","cited_by_count":2},{"id":"2011.00601","title":"Approximate Solutions to a Class of Reachability Games","created":"2020-11-01","cited_by_count":2},{"id":"2012.04011","title":"Real-Time Formal Verification of Autonomous Systems With An FPGA","created":"2020-12-07","cited_by_count":1},{"id":"2109.07673","title":"Back to the Future: Efficient, Time-Consistent Solutions in Reach-Avoid Games","created":"2021-09-16","cited_by_count":1}],"next_cursor":null}