{"total":23,"rows":[{"id":"2210.10691","title":"Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes","created":"2022-10-19","cited_by_count":26,"area":null},{"id":"2211.02375","title":"Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes","created":"2022-11-04","cited_by_count":13,"area":null},{"id":"2108.07134","title":"Neural Predictive Monitoring under Partial Observability","created":"2021-08-16","cited_by_count":7,"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":"2310.01951","title":"Probabilistic Reach-Avoid for Bayesian Neural Networks","created":"2023-10-03","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":"2405.01691","title":"Language-Enhanced Latent Representations for Out-of-Distribution Detection in Autonomous Driving","created":"2024-05-02","cited_by_count":4,"area":null},{"id":"2606.11632","title":"Sovereign Assurance Boundary: Certificate-Bound Admission for Agentic Infrastructure","created":"2026-06-10","cited_by_count":4,"area":null},{"id":"2412.06869","title":"Safety Monitoring of Machine Learning Perception Functions: a Survey","created":"2024-12-09","cited_by_count":3,"area":null},{"id":"2606.09416","title":"Harness Engineering for Physical AI: Robot Middleware Is the Harness Layer","created":"2026-06-08","cited_by_count":3,"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":"2605.10888","title":"Shields to Guarantee Probabilistic Safety in MDPs","created":"2026-05-11","cited_by_count":2,"area":null},{"id":"2606.08021","title":"Semantic Quorum Assurance: Collective Certification for Non-Deterministic AI Infrastructure","created":"2026-06-06","cited_by_count":2,"area":null},{"id":"2209.01710","title":"Perception Simplex: Verifiable Collision Avoidance in Autonomous Vehicles Amidst Obstacle Detection Faults","created":"2022-09-04","cited_by_count":1,"area":null},{"id":"2305.14872","title":"Timeseries-aware Uncertainty Wrappers for Uncertainty Quantification of Information-Fusion-Enhanced AI Models based on Machine Learning","created":"2023-05-24","cited_by_count":1,"area":null},{"id":"2202.09710","title":"A Barrier Certificate-based Simplex Architecture for Systems with Approximate and Hybrid Dynamics","created":"2022-02-20","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":"2210.11259","title":"Safe Policy Improvement in Constrained Markov Decision Processes","created":"2022-10-20","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":"2606.25366","title":"Reliability-Asymmetric Spacecraft Autonomy: Co-Designing a Capable Learned GNC Stack with a Verified, Adaptation-Aware Runtime Shield","created":"2026-06-24","cited_by_count":0,"area":null},{"id":"2606.25371","title":"Conformal Recovery-Deadline Certificates for Runtime Assurance of Adapting Controllers","created":"2026-06-24","cited_by_count":0,"area":null},{"id":"2609.22243","title":"Replay-Gated Neural Execution: Decoupling Persistent Behavioral Specifications from Neural Realizations in Frozen Language Models","created":"2026-09-05","cited_by_count":0,"area":null},{"id":"2609.30219","title":"Requirement-Bound Verified Commissioning: A Frozen Four-Billion-Parameter Local Model as a Candidate Generator under an External Acceptance Layer with Verification and Release Authority","created":"2026-09-24","cited_by_count":0,"area":null}],"next_cursor":null}