{"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":"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":"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":"2206.03348","title":"Specification-Guided Learning of Nash Equilibria with High Social Welfare","created":"2022-06-06","cited_by_count":8,"area":null},{"id":"2104.05435","title":"Neural Network for Weighted Signal Temporal Logic","created":"2021-04-08","cited_by_count":5,"area":null},{"id":"2111.09475","title":"Lifelong Reinforcement Learning with Temporal Logic Formulas and Reward Machines","created":"2021-11-18","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":"2310.17410","title":"Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic","created":"2023-10-26","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":"2306.13732","title":"Reinforcement Learning with Temporal-Logic-Based Causal Diagrams","created":"2023-06-23","cited_by_count":2,"area":null},{"id":"2103.14262","title":"Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic","created":"2021-03-26","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":"2103.14264","title":"Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems","created":"2021-03-26","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},{"id":"2609.01032","title":"On Synthesis of Metric Interval Temporal Logics","created":"2026-09-01","cited_by_count":0,"area":null}],"next_cursor":null}