{"total":45,"rows":[{"id":"2102.06858","title":"LTL2Action: Generalizing LTL Instructions for Multi-Task RL","created":"2021-02-13","cited_by_count":74,"area":null},{"id":"2112.13112","title":"A Survey on Interpretable Reinforcement Learning","created":"2021-12-24","cited_by_count":73,"area":null},{"id":"2111.00876","title":"On the Expressivity of Markov Reward","created":"2021-11-01","cited_by_count":71,"area":null},{"id":"2106.13906","title":"Compositional Reinforcement Learning from Logical Specifications","created":"2021-06-25","cited_by_count":67,"area":null},{"id":"2302.11649","title":"Grounding Complex Natural Language Commands for Temporal Tasks in Unseen Environments","created":"2023-02-22","cited_by_count":53,"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":"2109.00127","title":"Cognitive science as a source of forward and inverse models of human decisions for robotics and control","created":"2021-09-01","cited_by_count":22,"area":null},{"id":"2206.09546","title":"Policy Optimization with Linear Temporal Logic Constraints","created":"2022-06-20","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":"2310.19007","title":"Behavior Alignment via Reward Function Optimization","created":"2023-10-29","cited_by_count":16,"area":null},{"id":"2109.13863","title":"A First-Occupancy Representation for Reinforcement Learning","created":"2021-09-28","cited_by_count":14,"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":"2405.13242","title":"Goals as Reward-Producing Programs","created":"2024-05-21","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":"2303.05518","title":"Computably Continuous Reinforcement-Learning Objectives are PAC-learnable","created":"2023-03-09","cited_by_count":13,"area":null},{"id":"2310.12248","title":"A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs","created":"2023-10-18","cited_by_count":13,"area":null},{"id":"2211.04591","title":"Learning to Follow Instructions in Text-Based Games","created":"2022-11-08","cited_by_count":12,"area":null},{"id":"2211.10902","title":"Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines","created":"2022-11-20","cited_by_count":10,"area":null},{"id":"2205.12532","title":"Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning","created":"2022-05-25","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":"2208.11838","title":"Learning Task Automata for Reinforcement Learning using Hidden Markov Models","created":"2022-08-25","cited_by_count":7,"area":null},{"id":"2303.05038","title":"Exploiting Contextual Structure to Generate Useful Auxiliary Tasks","created":"2023-03-09","cited_by_count":6,"area":null},{"id":"2312.11364","title":"Counting Reward Automata: Sample Efficient Reinforcement Learning Through the Exploitation of Reward Function Structure","created":"2023-12-18","cited_by_count":6,"area":null},{"id":"2111.04147","title":"Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator","created":"2021-11-07","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":"2304.12090","title":"Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey","created":"2023-04-24","cited_by_count":5,"area":null},{"id":"2208.06448","title":"RLang: A Declarative Language for Describing Partial World Knowledge to Reinforcement Learning Agents","created":"2022-08-12","cited_by_count":4,"area":null},{"id":"2301.02952","title":"Learning Symbolic Representations for Reinforcement Learning of Non-Markovian Behavior","created":"2023-01-08","cited_by_count":4,"area":null},{"id":"2410.13957","title":"Goal Inference from Open-Ended Dialog","created":"2024-10-17","cited_by_count":4,"area":null},{"id":"2309.06420","title":"Verifiable Reinforcement Learning Systems via Compositionality","created":"2023-09-09","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":"2302.14176","title":"Reinforcement Learning with Depreciating Assets","created":"2023-02-27","cited_by_count":2,"area":null},{"id":"2402.07051","title":"$L^*LM$: Learning Automata from Examples using Natural Language Oracles","created":"2024-02-10","cited_by_count":2,"area":null},{"id":"2107.02912","title":"Supervised Bayesian Specification Inference from Demonstrations","created":"2021-07-06","cited_by_count":1,"area":null},{"id":"2111.03647","title":"Regular Decision Processes for Grid Worlds","created":"2021-11-05","cited_by_count":1,"area":null},{"id":"2305.16505","title":"Reward-Machine-Guided, Self-Paced Reinforcement Learning","created":"2023-05-25","cited_by_count":1,"area":null},{"id":"2211.12151","title":"Reinforcement Causal Structure Learning on Order Graph","created":"2022-11-22","cited_by_count":0,"area":null},{"id":"2212.03733","title":"Tiered Reward: Designing Rewards for Specification and Fast Learning of Desired Behavior","created":"2022-12-07","cited_by_count":0,"area":null},{"id":"2303.12558","title":"Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees","created":"2023-03-22","cited_by_count":0,"area":null},{"id":"2304.03104","title":"Constrained Exploration in Reinforcement Learning with Optimality Preservation","created":"2023-04-05","cited_by_count":0,"area":null},{"id":"2602.03486","title":"DeepDFA: Injecting Temporal Logic in Deep Learning for Sequential Subsymbolic Applications","created":"2026-02-03","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":"2609.19448","title":"The syntax and semantics of goals","created":"2026-09-16","cited_by_count":0,"area":null}],"next_cursor":null}