{"total":15,"rows":[{"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":"2207.06531","title":"Reachability Analysis of a General Class of Neural Ordinary Differential Equations","created":"2022-07-13","cited_by_count":13,"area":null},{"id":"2209.09881","title":"Risk Verification of Stochastic Systems with Neural Network Controllers","created":"2022-08-26","cited_by_count":6,"area":null},{"id":"2404.06229","title":"Autonomous Driving Small-Scale Cars: A Survey of Recent Development","created":"2024-04-09","cited_by_count":6,"area":null},{"id":"2202.05207","title":"Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers","created":"2022-02-10","cited_by_count":5,"area":null},{"id":"2404.18813","title":"Safe Reach Set Computation via Neural Barrier Certificates","created":"2024-04-29","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.13478","title":"Safety Monitoring for Learning-Enabled Cyber-Physical Systems in Out-of-Distribution Scenarios","created":"2025-04-18","cited_by_count":3,"area":null},{"id":"2103.05142","title":"Formal Verification of Stochastic Systems with ReLU Neural Network Controllers","created":"2021-03-08","cited_by_count":2,"area":null},{"id":"2410.19607","title":"Analyzing Neural Network Robustness Using Graph Curvature","created":"2024-10-25","cited_by_count":2,"area":null},{"id":"2104.15006","title":"ModelGuard: Runtime Validation of Lipschitz-continuous Models","created":"2021-04-30","cited_by_count":1,"area":null},{"id":"2312.06406","title":"Partial End-to-end Reinforcement Learning for Robustness Against Modelling Error in Autonomous Racing","created":"2023-12-11","cited_by_count":1,"area":null},{"id":"2205.01419","title":"An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles","created":"2022-05-03","cited_by_count":0,"area":null},{"id":"2411.14163","title":"Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report","created":"2024-11-21","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}