{"total":34,"rows":[{"id":"2106.13906","title":"Compositional Reinforcement Learning from Logical Specifications","created":"2021-06-25","cited_by_count":67,"area":null},{"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":"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":"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":"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":"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":"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":"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":"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":"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":"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":"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":"2511.02304","title":"Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning","created":"2025-11-04","cited_by_count":1,"area":null},{"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":"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":"2608.29490","title":"Generalizable Multi-Agent Planning from Signal Temporal Logic Specifications via Diffusion","created":"2026-08-30","cited_by_count":0,"area":null}],"next_cursor":null}