{"total":28,"rows":[{"id":"2212.01861","title":"Online Shielding for Reinforcement Learning","created":"2022-12-04","cited_by_count":22,"area":null},{"id":"2305.04699","title":"Runtime Monitoring of Dynamic Fairness Properties","created":"2023-05-08","cited_by_count":17,"area":null},{"id":"2208.14426","title":"Correct-by-Construction Runtime Enforcement in AI -- A Survey","created":"2022-08-30","cited_by_count":12,"area":null},{"id":"2406.04184","title":"Shield Synthesis for LTL Modulo Theories","created":"2024-06-06","cited_by_count":12,"area":null},{"id":"2207.13446","title":"Dynamic Shielding for Reinforcement Learning in Black-Box Environments","created":"2022-07-27","cited_by_count":11,"area":null},{"id":"2212.01838","title":"Automata Learning meets Shielding","created":"2022-12-04","cited_by_count":9,"area":null},{"id":"2308.14424","title":"Shielded Reinforcement Learning for Hybrid Systems","created":"2023-08-28","cited_by_count":8,"area":null},{"id":"2308.00707","title":"Approximate Model-Based Shielding for Safe Reinforcement Learning","created":"2023-07-27","cited_by_count":5,"area":null},{"id":"2407.19911","title":"Efficient Shield Synthesis via State-Space Transformation","created":"2024-07-29","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":"2307.02164","title":"Safety Shielding under Delayed Observation","created":"2023-07-05","cited_by_count":3,"area":null},{"id":"2412.12996","title":"Neural Control and Certificate Repair via Runtime Monitoring","created":"2024-12-17","cited_by_count":3,"area":null},{"id":"2304.11104","title":"Approximate Shielding of Atari Agents for Safe Exploration","created":"2023-04-21","cited_by_count":2,"area":null},{"id":"2407.09348","title":"Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis","created":"2024-07-12","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":"2606.08021","title":"Semantic Quorum Assurance: Collective Certification for Non-Deterministic AI Infrastructure","created":"2026-06-06","cited_by_count":2,"area":null},{"id":"2411.04867","title":"Think Smart, Act SMARL! Analyzing Probabilistic Logic Shields for Multi-Agent Reinforcement Learning","created":"2024-11-07","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":"2609.26016","title":"Compiling Sufficient Governance Context from Declared Losses and Reachable States: Exact Observation-Contract Synthesis with Cardinality and Cost Objectives","created":"2026-09-22","cited_by_count":1,"area":null},{"id":"2408.03892","title":"MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems","created":"2024-08-07","cited_by_count":0,"area":null},{"id":"2505.22104","title":"Efficient Dynamic Shielding for Parametric Safety Specifications","created":"2025-05-28","cited_by_count":0,"area":null},{"id":"2603.02396","title":"COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management","created":"2026-03-02","cited_by_count":0,"area":null},{"id":"2605.22874","title":"NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic","created":"2026-05-20","cited_by_count":0,"area":null},{"id":"2606.13621","title":"Shielded Analysis: Certification and Characterization of Defensibility in Systems under Adversarial Interaction","created":"2026-06-11","cited_by_count":0,"area":null},{"id":"2606.24414","title":"Cycle-Consistent Neural Explanation of Formal Verification Certificates","created":"2026-06-23","cited_by_count":0,"area":null},{"id":"2608.03662","title":"Shielding for Higher-Order Safety","created":"2026-08-04","cited_by_count":0,"area":null},{"id":"2609.11504","title":"DeFiFlowBench: Benchmarking and Improving Safe Executability in Natural-Language DeFi Workflow Synthesis","created":"2026-09-10","cited_by_count":0,"area":null},{"id":"2609.25299","title":"Making Agents More Consistent: Skills Should Form Habits for Repeat Tasks","created":"2026-09-21","cited_by_count":0,"area":null}],"next_cursor":null}