{"total":36,"rows":[{"id":"2205.10330","title":"A Review of Safe Reinforcement Learning: Methods, Theory and Applications","created":"2022-05-20","cited_by_count":181,"area":null},{"id":"2112.13112","title":"A Survey on Interpretable Reinforcement Learning","created":"2021-12-24","cited_by_count":73,"area":null},{"id":"2106.13906","title":"Compositional Reinforcement Learning from Logical Specifications","created":"2021-06-25","cited_by_count":67,"area":null},{"id":"2106.09110","title":"Safe Reinforcement Learning Using Advantage-Based Intervention","created":"2021-06-16","cited_by_count":47,"area":null},{"id":"2303.03226","title":"Safe Reinforcement Learning via Probabilistic Logic Shields","created":"2023-03-06","cited_by_count":42,"area":null},{"id":"2108.01846","title":"Learning Barrier Certificates: Towards Safe Reinforcement Learning with Zero Training-time Violations","created":"2021-08-04","cited_by_count":39,"area":null},{"id":"2205.06750","title":"Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking","created":"2022-05-13","cited_by_count":34,"area":null},{"id":"2410.10807","title":"HardNet: Hard-Constrained Neural Networks with Universal Approximation Guarantees","created":"2024-10-14","cited_by_count":31,"area":null},{"id":"2309.01038","title":"Neurosymbolic Reinforcement Learning and Planning: A Survey","created":"2023-09-02","cited_by_count":24,"area":null},{"id":"2206.14268","title":"BertNet: Harvesting Knowledge Graphs with Arbitrary Relations from Pretrained Language Models","created":"2022-06-28","cited_by_count":20,"area":null},{"id":"2108.04214","title":"Neural Network Repair with Reachability Analysis","created":"2021-08-09","cited_by_count":19,"area":null},{"id":"2312.01456","title":"Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees","created":"2023-12-03","cited_by_count":14,"area":null},{"id":"2401.03188","title":"A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence","created":"2024-01-06","cited_by_count":10,"area":null},{"id":"2411.04383","title":"Neuro-Symbolic AI: Explainability, Challenges, and Future Trends","created":"2024-11-07","cited_by_count":10,"area":null},{"id":"2112.11490","title":"Do Androids Dream of Electric Fences? Safety-Aware Reinforcement Learning with Latent Shielding","created":"2021-12-21","cited_by_count":9,"area":null},{"id":"2102.11137","title":"Program Synthesis Guided Reinforcement Learning for Partially Observed Environments","created":"2021-02-22","cited_by_count":8,"area":null},{"id":"2410.14219","title":"Formal Explanations for Neuro-Symbolic AI","created":"2024-10-18","cited_by_count":6,"area":null},{"id":"2104.10219","title":"Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning","created":"2021-04-20","cited_by_count":5,"area":null},{"id":"2202.06255","title":"Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games","created":"2022-02-13","cited_by_count":5,"area":null},{"id":"2209.12618","title":"Survey on Applications of Neurosymbolic Artificial Intelligence","created":"2022-09-08","cited_by_count":5,"area":null},{"id":"2304.12090","title":"Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey","created":"2023-04-24","cited_by_count":5,"area":null},{"id":"2309.03651","title":"Learning of Generalizable and Interpretable Knowledge in Grid-Based Reinforcement Learning Environments","created":"2023-09-07","cited_by_count":5,"area":null},{"id":"2310.19137","title":"Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning","created":"2023-10-29","cited_by_count":4,"area":null},{"id":"2405.15912","title":"Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction","created":"2024-05-24","cited_by_count":4,"area":null},{"id":"2209.14148","title":"Guiding Safe Exploration with Weakest Preconditions","created":"2022-09-28","cited_by_count":3,"area":null},{"id":"2211.06665","title":"A Survey on Explainable Reinforcement Learning: Concepts, Algorithms, Challenges","created":"2022-11-12","cited_by_count":3,"area":null},{"id":"2309.03215","title":"Explainable and Trustworthy Traffic Sign Detection for Safe Autonomous Driving: An Inductive Logic Programming Approach","created":"2023-08-30","cited_by_count":3,"area":null},{"id":"2103.09414","title":"Toward Neural-Network-Guided Program Synthesis and Verification","created":"2021-03-17","cited_by_count":2,"area":null},{"id":"2311.09811","title":"Runtime Verification of Learning Properties for Reinforcement Learning Algorithms","created":"2023-11-16","cited_by_count":2,"area":null},{"id":"2406.00938","title":"A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI","created":"2024-06-03","cited_by_count":2,"area":null},{"id":"2303.08115","title":"Human-Inspired Framework to Accelerate Reinforcement Learning","created":"2023-02-28","cited_by_count":1,"area":null},{"id":"2512.01467","title":"Differentiable Weightless Controllers: Learning Logic Circuits for Continuous Control","created":"2025-12-01","cited_by_count":1,"area":null},{"id":"2110.05390","title":"Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching","created":"2021-10-11","cited_by_count":0,"area":null},{"id":"2409.17406","title":"Spiders Based on Anxiety: How Reinforcement Learning Can Deliver Desired User Experience in Virtual Reality Personalized Arachnophobia Treatment","created":"2024-09-25","cited_by_count":0,"area":null},{"id":"2502.09233","title":"Commonsense Reasoning-Aided Autonomous Vehicle Systems","created":"2025-02-13","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}],"next_cursor":null}