{"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":"2401.06379","title":"Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs","created":"2024-01-12","cited_by_count":14,"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":"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":"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":"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":"2503.00191","title":"Learning Vision-Based Neural Network Controllers with Semi-Probabilistic Safety Guarantees","created":"2025-02-28","cited_by_count":1,"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":"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},{"id":"2609.22108","title":"Correcting Learning-based Perception for Safety","created":"2026-08-16","cited_by_count":0,"area":null}],"next_cursor":null}