{"total":23,"rows":[{"id":"2206.06553","title":"Safe Output Feedback Motion Planning from Images via Learned Perception Modules and Contraction Theory","created":"2022-06-14","cited_by_count":19,"area":null},{"id":"2302.04634","title":"Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study","created":"2023-02-06","cited_by_count":18,"area":null},{"id":"2304.00194","title":"Safe Perception-Based Control under Stochastic Sensor Uncertainty using Conformal Prediction","created":"2023-04-01","cited_by_count":16,"area":null},{"id":"2304.04066","title":"Stable and Safe Reinforcement Learning via a Barrier-Lyapunov Actor-Critic Approach","created":"2023-04-08","cited_by_count":13,"area":null},{"id":"2201.12231","title":"Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications","created":"2022-01-28","cited_by_count":12,"area":null},{"id":"2201.12243","title":"Joint Differentiable Optimization and Verification for Certified Reinforcement Learning","created":"2022-01-28","cited_by_count":11,"area":null},{"id":"2311.02227","title":"State-Wise Safe Reinforcement Learning With Pixel Observations","created":"2023-11-03","cited_by_count":9,"area":null},{"id":"2304.12405","title":"Synthesizing Stable Reduced-Order Visuomotor Policies for Nonlinear Systems via Sums-of-Squares Optimization","created":"2023-04-24","cited_by_count":7,"area":null},{"id":"2306.04026","title":"Value Functions are Control Barrier Functions: Verification of Safe Policies using Control Theory","created":"2023-06-06","cited_by_count":6,"area":null},{"id":"2506.01356","title":"Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion","created":"2025-06-02","cited_by_count":6,"area":null},{"id":"2404.01184","title":"Efficient Motion Planning for Manipulators with Control Barrier Function-Induced Neural Controller","created":"2024-04-01","cited_by_count":5,"area":null},{"id":"2408.05336","title":"Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning","created":"2024-08-09","cited_by_count":4,"area":null},{"id":"2303.04212","title":"ConBaT: Control Barrier Transformer for Safe Policy Learning","created":"2023-03-07","cited_by_count":3,"area":null},{"id":"2506.17275","title":"Conformal Safety Shielding for Imperfect-Perception Agents","created":"2025-06-12","cited_by_count":3,"area":null},{"id":"2412.02029","title":"Learning Ensembles of Vision-based Safety Control Filters","created":"2024-12-02","cited_by_count":2,"area":null},{"id":"2503.06083","title":"T-CBF: Traversability-based Control Barrier Function to Navigate Vertically Challenging Terrain","created":"2025-03-08","cited_by_count":2,"area":null},{"id":"2509.16614","title":"ORN-CBF: Learning Observation-conditioned Residual Neural Control Barrier Functions via Hypernetworks","created":"2025-09-20","cited_by_count":2,"area":null},{"id":"2305.18372","title":"Assumption Generation for the Verification of Learning-Enabled Autonomous Systems","created":"2023-05-27","cited_by_count":1,"area":null},{"id":"2402.16449","title":"Online Efficient Safety-Critical Control for Mobile Robots in Unknown Dynamic Multi-Obstacle Environments","created":"2024-02-26","cited_by_count":1,"area":null},{"id":"2402.18677","title":"Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks","created":"2024-02-28","cited_by_count":0,"area":null},{"id":"2605.06934","title":"Learned Lyapunov Shielding for Adaptive Control","created":"2026-05-07","cited_by_count":0,"area":null},{"id":"2606.30935","title":"ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints","created":"2026-06-29","cited_by_count":0,"area":null},{"id":"2609.22108","title":"Correcting Learning-based Perception for Safety","created":"2026-08-16","cited_by_count":0,"area":null}],"next_cursor":null}