{"total":33,"rows":[{"id":"2102.12855","title":"Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic","created":"2021-02-24","cited_by_count":39,"area":null},{"id":"2102.00582","title":"Multi-Agent Reinforcement Learning with Temporal Logic Specifications","created":"2021-02-01","cited_by_count":27,"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":"2111.12679","title":"On the (In)Tractability of Reinforcement Learning for LTL Objectives","created":"2021-11-24","cited_by_count":18,"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":"2303.05518","title":"Computably Continuous Reinforcement-Learning Objectives are PAC-learnable","created":"2023-03-09","cited_by_count":13,"area":null},{"id":"2304.07647","title":"LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision","created":"2023-04-15","cited_by_count":13,"area":null},{"id":"2109.08947","title":"Risk-averse autonomous systems: A brief history and recent developments from the perspective of optimal control","created":"2021-09-18","cited_by_count":12,"area":null},{"id":"2204.11833","title":"Joint Learning of Reward Machines and Policies in Environments with Partially Known Semantics","created":"2022-04-20","cited_by_count":12,"area":null},{"id":"2110.05603","title":"Generalizing to New Domains by Mapping Natural Language to Lifted LTL","created":"2021-10-11","cited_by_count":11,"area":null},{"id":"2209.10341","title":"LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning","created":"2022-09-21","cited_by_count":11,"area":null},{"id":"2205.04424","title":"Accelerated Reinforcement Learning for Temporal Logic Control Objectives","created":"2022-05-09","cited_by_count":9,"area":null},{"id":"2106.09161","title":"Mungojerrie: Reinforcement Learning of Linear-Time Objectives","created":"2021-06-16","cited_by_count":6,"area":null},{"id":"2202.02404","title":"Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives","created":"2022-02-04","cited_by_count":6,"area":null},{"id":"2210.01162","title":"Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications","created":"2022-10-03","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":"2103.14600","title":"Model-Free Learning of Safe yet Effective Controllers","created":"2021-03-26","cited_by_count":5,"area":null},{"id":"2212.05337","title":"Targeted Adversarial Attacks on Deep Reinforcement Learning Policies via Model Checking","created":"2022-12-10","cited_by_count":5,"area":null},{"id":"2307.06399","title":"Designing Behavior Trees from Goal-Oriented LTLf Formulas","created":"2023-07-12","cited_by_count":5,"area":null},{"id":"2102.04307","title":"Learning Optimal Strategies for Temporal Tasks in Stochastic Games","created":"2021-02-08","cited_by_count":3,"area":null},{"id":"2103.12558","title":"Assured Learning-enabled Autonomy: A Metacognitive Reinforcement Learning Framework","created":"2021-03-23","cited_by_count":3,"area":null},{"id":"2101.10284","title":"Reinforcement Learning Based Temporal Logic Control with Soft Constraints Using Limit-deterministic Generalized Buchi Automata","created":"2021-01-25","cited_by_count":2,"area":null},{"id":"2308.07469","title":"Omega-Regular Reward Machines","created":"2023-08-14","cited_by_count":2,"area":null},{"id":"2303.09528","title":"Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP","created":"2023-03-16","cited_by_count":1,"area":null},{"id":"2404.02872","title":"Integrating Explanations in Learning LTL Specifications from Demonstrations","created":"2024-04-03","cited_by_count":1,"area":null},{"id":"2205.03243","title":"Alternating Good-for-MDP Automata","created":"2022-05-06","cited_by_count":0,"area":null},{"id":"2211.12151","title":"Reinforcement Causal Structure Learning on Order Graph","created":"2022-11-22","cited_by_count":0,"area":null},{"id":"2310.04288","title":"Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning","created":"2023-10-06","cited_by_count":0,"area":null},{"id":"2312.08602","title":"Omega-Regular Decision Processes","created":"2023-12-14","cited_by_count":0,"area":null},{"id":"2403.15826","title":"Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout","created":"2024-03-23","cited_by_count":0,"area":null},{"id":"2603.02396","title":"COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management","created":"2026-03-02","cited_by_count":0,"area":null}],"next_cursor":null}