{"total":27,"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":"2108.13643","title":"Learning to Synthesize Programs as Interpretable and Generalizable Policies","created":"2021-08-31","cited_by_count":59,"area":null},{"id":"2306.01439","title":"Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction","created":"2023-06-02","cited_by_count":46,"area":null},{"id":"2104.04413","title":"Provable Repair of Deep Neural Networks","created":"2021-04-09","cited_by_count":42,"area":null},{"id":"2111.07505","title":"A Survey on AI Assurance","created":"2021-11-15","cited_by_count":16,"area":null},{"id":"2205.13728","title":"GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis","created":"2022-05-27","cited_by_count":16,"area":null},{"id":"2405.16450","title":"Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search","created":"2024-05-26","cited_by_count":13,"area":null},{"id":"2109.06728","title":"Learning Density Distribution of Reachable States for Autonomous Systems","created":"2021-09-14","cited_by_count":11,"area":null},{"id":"2101.03263","title":"SyReNN: A Tool for Analyzing Deep Neural Networks","created":"2021-01-09","cited_by_count":10,"area":null},{"id":"2112.08438","title":"Programmatic Reward Design by Example","created":"2021-12-14","cited_by_count":9,"area":null},{"id":"2211.01498","title":"On the Safety of Interpretable Machine Learning: A Maximum Deviation Approach","created":"2022-11-02","cited_by_count":7,"area":null},{"id":"2201.03698","title":"Verified Probabilistic Policies for Deep Reinforcement Learning","created":"2022-01-10","cited_by_count":6,"area":null},{"id":"2203.01190","title":"Model-free Neural Lyapunov Control for Safe Robot Navigation","created":"2022-03-02","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":"2107.11445","title":"Self-Correcting Neural Networks For Safe Classification","created":"2021-07-23","cited_by_count":4,"area":null},{"id":"2106.06931","title":"Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning","created":"2021-06-13","cited_by_count":3,"area":null},{"id":"2109.06523","title":"Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking","created":"2021-09-14","cited_by_count":3,"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":"2412.12996","title":"Neural Control and Certificate Repair via Runtime Monitoring","created":"2024-12-17","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":"2104.13791","title":"Rule-based Shielding for Partially Observable Monte-Carlo Planning","created":"2021-04-28","cited_by_count":2,"area":null},{"id":"2510.06756","title":"Verifying Memoryless Sequential Decision-making of Large Language Models","created":"2025-10-08","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":"2209.09079","title":"MSVIPER: Improved Policy Distillation for Reinforcement-Learning-Based Robot Navigation","created":"2022-09-19","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}