{"total":16,"rows":[{"id":"2401.14461","title":"Marabou 2.0: A Versatile Formal Analyzer of Neural Networks","created":"2024-01-25","cited_by_count":81,"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":"2311.04843","title":"Bridging Dimensions: Confident Reachability for High-Dimensional Controllers","created":"2023-11-08","cited_by_count":5,"area":null},{"id":"2405.13254","title":"System Safety Monitoring of Learned Components Using Temporal Metric Forecasting","created":"2024-05-21","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":"2409.06856","title":"AssistTaxi: A Comprehensive Dataset for Taxiway Analysis and Autonomous Operations","created":"2024-09-10","cited_by_count":2,"area":null},{"id":"2511.02164","title":"ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems","created":"2025-11-04","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":"2310.09361","title":"Is Certifying $\\ell_p$ Robustness Still Worthwhile?","created":"2023-10-13","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":"2311.09784","title":"Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems","created":"2023-11-16","cited_by_count":1,"area":null},{"id":"2506.16971","title":"Formal Control for Uncertain Systems via Contract-Based Probabilistic Surrogates (Extended Version)","created":"2025-06-20","cited_by_count":1,"area":null},{"id":"2411.14374","title":"Using Formal Models, Safety Shields and Certified Control to Validate AI-Based Train Systems","created":"2024-11-21","cited_by_count":0,"area":null},{"id":"2604.20728","title":"Interval POMDP Shielding for Imperfect-Perception Agents","created":"2026-04-22","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}