{"total":15,"rows":[{"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":"2308.12252","title":"How Safe Am I Given What I See? Calibrated Prediction of Safety Chances for Image-Controlled Autonomy","created":"2023-08-23","cited_by_count":8,"area":null},{"id":"2211.02736","title":"Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis","created":"2022-11-04","cited_by_count":5,"area":null},{"id":"2305.13508","title":"DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation","created":"2023-05-22","cited_by_count":5,"area":null},{"id":"2311.04843","title":"Bridging Dimensions: Confident Reachability for High-Dimensional Controllers","created":"2023-11-08","cited_by_count":5,"area":null},{"id":"2408.00117","title":"Certifying Robustness of Learning-Based Keypoint Detection and Pose Estimation Methods","created":"2024-07-31","cited_by_count":4,"area":null},{"id":"2504.20942","title":"Scenario-based Compositional Verification of Autonomous Systems with Neural Perception","created":"2025-04-29","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":"2305.18372","title":"Assumption Generation for the Verification of Learning-Enabled Autonomous Systems","created":"2023-05-27","cited_by_count":1,"area":null},{"id":"2311.08652","title":"Refining Perception Contracts: Case Studies in Vision-based Safe Auto-landing","created":"2023-11-15","cited_by_count":1,"area":null},{"id":"2212.14115","title":"Certifying Safety in Reinforcement Learning under Adversarial Perturbation Attacks","created":"2022-12-28","cited_by_count":0,"area":null},{"id":"2503.10840","title":"Efficient Reachability Analysis for Convolutional Neural Networks Using Hybrid Zonotopes","created":"2025-03-13","cited_by_count":0,"area":null},{"id":"2507.04523","title":"Verification of Visual Controllers via Compositional Geometric Transformations","created":"2025-07-06","cited_by_count":0,"area":null},{"id":"2602.10032","title":"Perception with Guarantees: Certified Pose Estimation via Reachability Analysis","created":"2026-02-10","cited_by_count":0,"area":null},{"id":"2603.05604","title":"From Decoupled to Coupled: Robustness Verification for Learning-based Keypoint Detection with Joint Specifications","created":"2026-03-05","cited_by_count":0,"area":null}],"next_cursor":null}