{"total":17,"rows":[{"id":"2102.06858","title":"LTL2Action: Generalizing LTL Instructions for Multi-Task RL","created":"2021-02-13","cited_by_count":74,"area":null},{"id":"2106.13906","title":"Compositional Reinforcement Learning from Logical Specifications","created":"2021-06-25","cited_by_count":67,"area":null},{"id":"2102.12571","title":"The Logical Options Framework","created":"2021-02-24","cited_by_count":25,"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":"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":"2304.12090","title":"Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey","created":"2023-04-24","cited_by_count":5,"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":"2206.08881","title":"Logic-based Reward Shaping for Multi-Agent Reinforcement Learning","created":"2022-06-17","cited_by_count":3,"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":"2305.16505","title":"Reward-Machine-Guided, Self-Paced Reinforcement Learning","created":"2023-05-25","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":"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":"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}