{"total":74,"rows":[{"id":"2106.13906","title":"Compositional Reinforcement Learning from Logical Specifications","created":"2021-06-25","cited_by_count":67,"area":null},{"id":"2312.02519","title":"Creative Agents: Empowering Agents with Imagination for Creative Tasks","created":"2023-12-05","cited_by_count":24,"area":"agents"},{"id":"2410.04631","title":"DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL","created":"2024-10-06","cited_by_count":21,"area":"deeprl"},{"id":"2206.09546","title":"Policy Optimization with Linear Temporal Logic Constraints","created":"2022-06-20","cited_by_count":19,"area":null},{"id":"2303.02135","title":"Eventual Discounting Temporal Logic Counterfactual Experience Replay","created":"2023-03-03","cited_by_count":19,"area":null},{"id":"2411.00205","title":"Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning","created":"2024-10-31","cited_by_count":19,"area":"deeprl"},{"id":"2310.03718","title":"Constraint-Conditioned Policy Optimization for Versatile Safe Reinforcement Learning","created":"2023-10-05","cited_by_count":18,"area":null},{"id":"2110.09461","title":"In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal Specifications","created":"2021-10-18","cited_by_count":17,"area":null},{"id":"2506.01622","title":"General agents contain world models","created":"2025-06-02","cited_by_count":17,"area":"wm"},{"id":"2405.04235","title":"LTLDoG: Satisfying Temporally-Extended Symbolic Constraints for Safe Diffusion-based Planning","created":"2024-05-07","cited_by_count":16,"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":"2410.11689","title":"BlendRL: A Framework for Merging Symbolic and Neural Policy Learning","created":"2024-10-15","cited_by_count":14,"area":"lr"},{"id":"2201.12231","title":"Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications","created":"2022-01-28","cited_by_count":12,"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":"2404.11578","title":"LTL-Constrained Policy Optimization with Cycle Experience Replay","created":"2024-04-17","cited_by_count":11,"area":"deeprl"},{"id":"2406.00120","title":"Reward Machines for Deep RL in Noisy and Uncertain Environments","created":"2024-05-31","cited_by_count":11,"area":"deeprl"},{"id":"2209.13220","title":"Exploiting Transformer in Sparse Reward Reinforcement Learning for Interpretable Temporal Logic Motion Planning","created":"2022-09-27","cited_by_count":10,"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":"2201.08504","title":"Deep reinforcement learning under signal temporal logic constraints using Lagrangian relaxation","created":"2022-01-21","cited_by_count":8,"area":null},{"id":"2508.01561","title":"One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning","created":"2025-08-03","cited_by_count":8,"area":"deeprl"},{"id":"2408.08677","title":"Neural Reward Machines","created":"2024-08-16","cited_by_count":7,"area":"deeprl"},{"id":"2408.09495","title":"Directed Exploration in Reinforcement Learning from Linear Temporal Logic","created":"2024-08-18","cited_by_count":7,"area":"deeprl"},{"id":"2410.02389","title":"Diffusion Meets Options: Hierarchical Generative Skill Composition for Temporally-Extended Tasks","created":"2024-10-03","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":"2503.05042","title":"Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning","created":"2025-03-06","cited_by_count":6,"area":"deeprl"},{"id":"2510.00225","title":"TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks","created":"2025-09-30","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":"2507.10741","title":"Ground-Compose-Reinforce: Grounding Language in Agentic Behaviours using Limited Data","created":"2025-07-14","cited_by_count":5,"area":"agents"},{"id":"2206.01812","title":"Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks","created":"2022-06-03","cited_by_count":4,"area":null},{"id":"2302.02984","title":"Robust Subtask Learning for Compositional Generalization","created":"2023-02-06","cited_by_count":4,"area":null},{"id":"2403.15301","title":"Planning with a Learned Policy Basis to Optimally Solve Complex Tasks","created":"2024-03-22","cited_by_count":4,"area":"deeprl"},{"id":"2411.01184","title":"Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping","created":"2024-11-02","cited_by_count":4,"area":null},{"id":"2306.08400","title":"Simple Embodied Language Learning as a Byproduct of Meta-Reinforcement Learning","created":"2023-06-14","cited_by_count":3,"area":null},{"id":"2406.03651","title":"Inductive Generalization in Reinforcement Learning from Specifications","created":"2024-06-05","cited_by_count":3,"area":"deeprl"},{"id":"2412.20338","title":"Exploiting Hybrid Policy in Reinforcement Learning for Interpretable Temporal Logic Manipulation","created":"2024-12-29","cited_by_count":3,"area":"deeprl"},{"id":"2502.03762","title":"Learning Reward Machines from Partially Observed Policies","created":"2025-02-06","cited_by_count":3,"area":"offlinerl"},{"id":"2512.19154","title":"Beyond Sliding Windows: Learning to Manage Memory in Non-Markovian Environments","created":"2025-12-22","cited_by_count":3,"area":null},{"id":"2605.16198","title":"Formal Methods Meet LLMs: Auditing, Monitoring, and Intervention for Compliance of Advanced AI Systems","created":"2026-05-15","cited_by_count":3,"area":null},{"id":"2201.12126","title":"Leveraging class abstraction for commonsense reinforcement learning via residual policy gradient methods","created":"2022-01-28","cited_by_count":2,"area":null},{"id":"2211.05361","title":"Safety-Constrained Policy Transfer with Successor Features","created":"2022-11-10","cited_by_count":2,"area":null},{"id":"2510.05061","title":"Automaton Constrained Q-Learning","created":"2025-10-06","cited_by_count":2,"area":"deeprl"},{"id":"2511.12706","title":"Beyond Fixed Tasks: Unsupervised Environment Design for Task-Level Pairs","created":"2025-11-16","cited_by_count":2,"area":"deeprl"},{"id":"2601.22891","title":"PlatoLTL: Scaling LTL-Guided Multi-Task RL","created":"2026-01-30","cited_by_count":2,"area":"deeprl"},{"id":"2602.06746","title":"Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions","created":"2026-02-06","cited_by_count":2,"area":"deeprl"},{"id":"2606.17463","title":"WeaveLA: Event Driven Cross-Subtask Latent Memory Weaving for Repetitive Robot Manipulation","created":"2026-06-16","cited_by_count":2,"area":"vla"},{"id":"2208.13298","title":"Goal-Conditioned Q-Learning as Knowledge Distillation","created":"2022-08-28","cited_by_count":1,"area":"distill"},{"id":"2212.04576","title":"Generalizing LTL Instructions via Future Dependent Options","created":"2022-12-08","cited_by_count":1,"area":null},{"id":"2212.05200","title":"Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks","created":"2022-12-10","cited_by_count":1,"area":null},{"id":"2307.05209","title":"Contextual Pre-planning on Reward Machine Abstractions for Enhanced Transfer in Deep Reinforcement Learning","created":"2023-07-11","cited_by_count":1,"area":null},{"id":"2410.09686","title":"Generalization of Compositional Tasks with Logical Specification via Implicit Planning","created":"2024-10-13","cited_by_count":1,"area":"deeprl"},{"id":"2511.02304","title":"Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning","created":"2025-11-04","cited_by_count":1,"area":null},{"id":"2602.02098","title":"Probabilistic Performance Guarantees for Multi-Task Reinforcement Learning","created":"2026-02-02","cited_by_count":1,"area":"deeprl"},{"id":"2602.09761","title":"Grounding LTL Tasks in Sub-Symbolic RL Environments for Zero-Shot Generalization","created":"2026-02-10","cited_by_count":1,"area":"deeprl"},{"id":"2602.14344","title":"Zero-Shot Instruction Following in RL via Structured LTL Representations","created":"2026-02-15","cited_by_count":1,"area":"deeprl"},{"id":"2604.24729","title":"SpecRLBench: A Benchmark for Generalization in Specification-Guided Reinforcement Learning","created":"2026-04-27","cited_by_count":1,"area":"deeprl"},{"id":"2605.10585","title":"Controllability in preference-conditioned multi-objective reinforcement learning","created":"2026-05-11","cited_by_count":1,"area":"deeprl"},{"id":"2207.03880","title":"Constrained Training of Neural Networks via Theorem Proving","created":"2022-07-08","cited_by_count":0,"area":null},{"id":"2405.15907","title":"Belief-State Query Policies for User-Aligned POMDPs","created":"2024-05-24","cited_by_count":0,"area":null},{"id":"2503.14809","title":"Learning with Expert Abstractions for Efficient Multi-Task Continuous Control","created":"2025-03-19","cited_by_count":0,"area":"deeprl"},{"id":"2512.01047","title":"Automating the Refinement of Reinforcement Learning Specifications","created":"2025-11-30","cited_by_count":0,"area":"deeprl"},{"id":"2512.02633","title":"Zero-Shot Instruction Following in RL via Structured LTL Representations","created":"2025-12-02","cited_by_count":0,"area":"deeprl"},{"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.01292","title":"Integrating LTL Constraints into PPO for Safe Reinforcement Learning","created":"2026-03-01","cited_by_count":0,"area":"deeprl"},{"id":"2604.14440","title":"On Tackling Complex Tasks with Reward Machines and Signal Temporal Logics","created":"2026-04-09","cited_by_count":0,"area":"deeprl"},{"id":"2604.17106","title":"Live LTL Progress Tracking: Towards Task-Based Exploration","created":"2026-04-18","cited_by_count":0,"area":"deeprl"},{"id":"2605.15975","title":"Learning Bilevel Policies over Symbolic World Models for Long-Horizon Planning","created":"2026-05-15","cited_by_count":0,"area":"wm"},{"id":"2605.23551","title":"Goal-Conditioned Agents that Learn Everything All at Once","created":"2026-05-22","cited_by_count":0,"area":"deeprl"},{"id":"2606.04053","title":"A Goal-Set Characterization of Task Composition in the Boolean Task Algebra","created":"2026-06-02","cited_by_count":0,"area":"deeprl"},{"id":"2608.15509","title":"Temporal Logic Guided Universal Task Representations for Reinforcement Learning","created":"2026-08-16","cited_by_count":0,"area":"deeprl"},{"id":"2608.29490","title":"Generalizable Multi-Agent Planning from Signal Temporal Logic Specifications via Diffusion","created":"2026-08-30","cited_by_count":0,"area":null},{"id":"2609.31606","title":"Learning Robot Policies from Sparse Success Signals via STL-Guided Stein Variational Policy Gradient","created":"2026-09-25","cited_by_count":0,"area":"deeprl"},{"id":"2609.38065","title":"Jaxolotl: A Unified High-Performance Benchmark Suite for LTL-Based Multi-Task RL","created":"2026-09-29","cited_by_count":0,"area":"deeprl"}],"next_cursor":null}