{"total":35,"rows":[{"id":"2207.07730","title":"How to Reuse and Compose Knowledge for a Lifetime of Tasks: A Survey on Continual Learning and Functional Composition","created":"2022-07-15","cited_by_count":27,"area":null},{"id":"2202.02886","title":"Leveraging Approximate Symbolic Models for Reinforcement Learning via Skill Diversity","created":"2022-02-06","cited_by_count":22,"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":"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.04424","title":"Accelerated Reinforcement Learning for Temporal Logic Control Objectives","created":"2022-05-09","cited_by_count":9,"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":"2308.14250","title":"Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification","created":"2023-08-28","cited_by_count":8,"area":null},{"id":"2110.02792","title":"Hierarchical Potential-based Reward Shaping from Task Specifications","created":"2021-10-06","cited_by_count":7,"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":"2405.15164","title":"From Frege to chatGPT: Compositionality in language, cognition, and deep neural networks","created":"2024-05-24","cited_by_count":7,"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":"2212.02064","title":"E-MAPP: Efficient Multi-Agent Reinforcement Learning with Parallel Program Guidance","created":"2022-12-05","cited_by_count":6,"area":null},{"id":"2208.13687","title":"Categorical semantics of compositional reinforcement learning","created":"2022-08-29","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":"2312.09938","title":"Assume-Guarantee Reinforcement Learning","created":"2023-12-15","cited_by_count":4,"area":null},{"id":"2206.13754","title":"DistSPECTRL: Distributing Specifications in Multi-Agent Reinforcement Learning Systems","created":"2022-06-28","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":"2511.01107","title":"SLAP: Shortcut Learning for Abstract Planning","created":"2025-11-02","cited_by_count":3,"area":null},{"id":"2202.12967","title":"Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates","created":"2022-02-25","cited_by_count":2,"area":null},{"id":"2304.05271","title":"Automaton-Guided Curriculum Generation for Reinforcement Learning Agents","created":"2023-04-11","cited_by_count":2,"area":null},{"id":"2505.04539","title":"Qualitative Analysis of $\\omega$-Regular Objectives on Robust MDPs","created":"2025-05-07","cited_by_count":2,"area":null},{"id":"2211.14028","title":"Automata Cascades: Expressivity and Sample Complexity","created":"2022-11-25","cited_by_count":1,"area":null},{"id":"2212.04576","title":"Generalizing LTL Instructions via Future Dependent Options","created":"2022-12-08","cited_by_count":1,"area":null},{"id":"2302.10639","title":"Handling Long and Richly Constrained Tasks through Constrained Hierarchical Reinforcement Learning","created":"2023-02-21","cited_by_count":1,"area":null},{"id":"2511.02304","title":"Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning","created":"2025-11-04","cited_by_count":1,"area":null},{"id":"2210.11259","title":"Safe Policy Improvement in Constrained Markov Decision Processes","created":"2022-10-20","cited_by_count":0,"area":null},{"id":"2304.03081","title":"Safe MDP Planning by Learning Temporal Patterns of Undesirable Trajectories and Averting Negative Side Effects","created":"2023-04-06","cited_by_count":0,"area":null},{"id":"2304.10041","title":"Topology-Guided Modular Actor-Critic Learning for Continuous Systems under Temporal Objectives","created":"2023-04-20","cited_by_count":0,"area":null},{"id":"2306.17033","title":"Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning","created":"2023-06-29","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":"2505.14001","title":"VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change","created":"2025-05-20","cited_by_count":0,"area":null},{"id":"2606.30966","title":"HyPOLE: Hyperproperty-Guided Multi-Agent Reinforcement Learning under Partial Observation","created":"2026-06-29","cited_by_count":0,"area":null}],"next_cursor":null}