{"total":19,"rows":[{"id":"2105.01984","title":"Software Engineering for AI-Based Systems: A Survey","created":"2021-05-05","cited_by_count":69,"area":null},{"id":"2507.05118","title":"VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots","created":"2025-07-07","cited_by_count":14,"area":null},{"id":"2603.16952","title":"Embodied Foundation Models at the Edge: A Survey of Deployment Constraints and Mitigation Strategies","created":"2026-03-16","cited_by_count":9,"area":null},{"id":"2111.03782","title":"Confidence Composition for Monitors of Verification Assumptions","created":"2021-11-03","cited_by_count":6,"area":null},{"id":"2207.04117","title":"Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents","created":"2022-07-08","cited_by_count":5,"area":null},{"id":"2302.09750","title":"Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems","created":"2023-02-20","cited_by_count":4,"area":null},{"id":"2201.03413","title":"Systems Challenges for Trustworthy Embodied Systems","created":"2022-01-10","cited_by_count":2,"area":null},{"id":"2509.21014","title":"The Use of the Simplex Architecture to Enhance Safety in Deep-Learning-Powered Autonomous Systems","created":"2025-09-25","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":"2311.07460","title":"KnowSafe: Combined Knowledge and Data Driven Hazard Mitigation in Artificial Pancreas Systems","created":"2023-11-13","cited_by_count":1,"area":null},{"id":"2402.14580","title":"Savvy: Trustworthy Autonomous Vehicles Architecture","created":"2024-02-08","cited_by_count":1,"area":null},{"id":"2507.11987","title":"Formal Verification of Neural Certificates Done Dynamically","created":"2025-07-16","cited_by_count":1,"area":null},{"id":"2201.10436","title":"Safe AI -- How is this Possible?","created":"2022-01-25","cited_by_count":0,"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":"2310.04288","title":"Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning","created":"2023-10-06","cited_by_count":0,"area":null},{"id":"2604.25757","title":"Threat-Oriented Digital Twinning for Security Evaluation of Autonomous Platforms","created":"2026-04-28","cited_by_count":0,"area":null},{"id":"2605.08190","title":"Synergistic Simplex: Cooperative Runtime Assurance for Safety-Critical Autonomous Systems","created":"2026-05-05","cited_by_count":0,"area":null},{"id":"2607.23532","title":"Mission-Level Runtime Assurance for LLM-Assisted ISR Swarms over a Verification-Aware Fabric","created":"2026-07-26","cited_by_count":0,"area":null},{"id":"2610.02662","title":"Mind the Refinement Gap: When Safe High-Level Robot Plans Produce Unsafe Executions","created":"2026-10-02","cited_by_count":0,"area":null}],"next_cursor":null}