{"total":18,"rows":[{"id":"2111.00876","title":"On the Expressivity of Markov Reward","created":"2021-11-01","cited_by_count":71,"area":null},{"id":"2106.13906","title":"Compositional Reinforcement Learning from Logical Specifications","created":"2021-06-25","cited_by_count":67,"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":"2206.03348","title":"Specification-Guided Learning of Nash Equilibria with High Social Welfare","created":"2022-06-06","cited_by_count":8,"area":null},{"id":"2306.06808","title":"Multi-Agent Reinforcement Learning Guided by Signal Temporal Logic Specifications","created":"2023-06-11","cited_by_count":7,"area":null},{"id":"2103.14600","title":"Model-Free Learning of Safe yet Effective Controllers","created":"2021-03-26","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":"2311.17165","title":"(Ir)rationality in AI: State of the Art, Research Challenges and Open Questions","created":"2023-11-28","cited_by_count":5,"area":null},{"id":"2304.14243","title":"Standpoint Linear Temporal Logic","created":"2023-04-27","cited_by_count":4,"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":"2203.04172","title":"Distributed Control using Reinforcement Learning with Temporal-Logic-Based Reward Shaping","created":"2022-03-08","cited_by_count":2,"area":null},{"id":"2305.14736","title":"Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes","created":"2023-05-24","cited_by_count":2,"area":null},{"id":"2308.02829","title":"Multi-Agent Verification and Control with Probabilistic Model Checking","created":"2023-08-05","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":"2212.11792","title":"CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications","created":"2022-11-30","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.19448","title":"The syntax and semantics of goals","created":"2026-09-16","cited_by_count":0,"area":null}],"next_cursor":null}