{"total":46,"rows":[{"id":"2106.13906","title":"Compositional Reinforcement Learning from Logical Specifications","created":"2021-06-25","cited_by_count":67,"area":null},{"id":"2101.11196","title":"Safe Multi-Agent Reinforcement Learning via Shielding","created":"2021-01-27","cited_by_count":61,"area":null},{"id":"2102.12855","title":"Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic","created":"2021-02-24","cited_by_count":39,"area":null},{"id":"2107.12045","title":"How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review","created":"2021-07-26","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":"2102.00582","title":"Multi-Agent Reinforcement Learning with Temporal Logic Specifications","created":"2021-02-01","cited_by_count":27,"area":null},{"id":"2212.01861","title":"Online Shielding for Reinforcement Learning","created":"2022-12-04","cited_by_count":22,"area":null},{"id":"2209.07133","title":"COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking","created":"2022-09-15","cited_by_count":19,"area":null},{"id":"2111.12679","title":"On the (In)Tractability of Reinforcement Learning for LTL Objectives","created":"2021-11-24","cited_by_count":18,"area":null},{"id":"2305.01381","title":"Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees","created":"2023-05-02","cited_by_count":18,"area":null},{"id":"2305.17115","title":"Policy Synthesis and Reinforcement Learning for Discounted LTL","created":"2023-05-26","cited_by_count":14,"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":"2106.05864","title":"Verifiable and Compositional Reinforcement Learning Systems","created":"2021-06-07","cited_by_count":13,"area":null},{"id":"2107.04633","title":"Inferring Probabilistic Reward Machines from Non-Markovian Reward Processes for Reinforcement Learning","created":"2021-07-09","cited_by_count":13,"area":null},{"id":"2303.05518","title":"Computably Continuous Reinforcement-Learning Objectives are PAC-learnable","created":"2023-03-09","cited_by_count":13,"area":null},{"id":"2204.11833","title":"Joint Learning of Reward Machines and Policies in Environments with Partially Known Semantics","created":"2022-04-20","cited_by_count":12,"area":null},{"id":"2304.06281","title":"Model-based Dynamic Shielding for Safe and Efficient Multi-Agent Reinforcement Learning","created":"2023-04-13","cited_by_count":11,"area":null},{"id":"2205.04424","title":"Accelerated Reinforcement Learning for Temporal Logic Control Objectives","created":"2022-05-09","cited_by_count":9,"area":null},{"id":"2206.03348","title":"Specification-Guided Learning of Nash Equilibria with High Social Welfare","created":"2022-06-06","cited_by_count":8,"area":null},{"id":"2106.09161","title":"Mungojerrie: Reinforcement Learning of Linear-Time Objectives","created":"2021-06-16","cited_by_count":6,"area":null},{"id":"2202.02404","title":"Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives","created":"2022-02-04","cited_by_count":6,"area":null},{"id":"2103.14600","title":"Model-Free Learning of Safe yet Effective Controllers","created":"2021-03-26","cited_by_count":5,"area":null},{"id":"2212.05337","title":"Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking","created":"2022-12-10","cited_by_count":5,"area":null},{"id":"2404.05424","title":"What Are the Odds? Improving the foundations of Statistical Model Checking","created":"2024-04-08","cited_by_count":5,"area":null},{"id":"2410.18293","title":"1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization","created":"2024-10-23","cited_by_count":5,"area":null},{"id":"2206.01465","title":"PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP","created":"2022-06-03","cited_by_count":4,"area":null},{"id":"2102.04307","title":"Learning Optimal Strategies for Temporal Tasks in Stochastic Games","created":"2021-02-08","cited_by_count":3,"area":null},{"id":"2309.06420","title":"Verifiable Reinforcement Learning Systems via Compositionality","created":"2023-09-09","cited_by_count":3,"area":null},{"id":"2311.17059","title":"Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications","created":"2023-11-28","cited_by_count":3,"area":null},{"id":"2404.05074","title":"On the Uniqueness of Solution for the Bellman Equation of LTL Objectives","created":"2024-04-07","cited_by_count":3,"area":null},{"id":"2501.03187","title":"Turn-based Multi-Agent Reinforcement Learning Model Checking","created":"2025-01-06","cited_by_count":3,"area":null},{"id":"2101.10284","title":"Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Buchi Automata","created":"2021-01-25","cited_by_count":2,"area":null},{"id":"2305.14736","title":"Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes","created":"2023-05-24","cited_by_count":2,"area":null},{"id":"2308.07469","title":"Omega-Regular Reward Machines","created":"2023-08-14","cited_by_count":2,"area":null},{"id":"2303.09528","title":"Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP","created":"2023-03-16","cited_by_count":1,"area":null},{"id":"2305.00561","title":"Model-free Motion Planning of Autonomous Agents for Complex Tasks in Partially Observable Environments","created":"2023-04-30","cited_by_count":1,"area":null},{"id":"2404.02872","title":"Integrating Explanations in Learning LTL Specifications from Demonstrations","created":"2024-04-03","cited_by_count":1,"area":null},{"id":"2205.03243","title":"Alternating Good-for-MDP Automata","created":"2022-05-06","cited_by_count":0,"area":null},{"id":"2211.12151","title":"Reinforcement Causal Structure Learning on Order Graph","created":"2022-11-22","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":"2311.10863","title":"Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks","created":"2023-11-17","cited_by_count":0,"area":null},{"id":"2312.08602","title":"Omega-Regular Decision Processes","created":"2023-12-14","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.31524","title":"Value Functions as Supermartingale Certificates","created":"2026-05-29","cited_by_count":0,"area":null},{"id":"2608.13625","title":"Reward Machines for Signal Temporal Logic","created":"2026-08-13","cited_by_count":0,"area":null},{"id":"2608.25968","title":"Quantitative Analysis of $\\omega$-Regular Robust MDPs","created":"2026-08-26","cited_by_count":0,"area":null}],"next_cursor":null}