{"total":54,"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":"2410.04631","title":"DeepLTL: Learning to Efficiently Satisfy Complex LTL Specifications for Multi-Task RL","created":"2024-10-06","cited_by_count":21,"area":"deeprl"},{"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":"2411.00205","title":"Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning","created":"2024-10-31","cited_by_count":19,"area":"deeprl"},{"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":"2001.09227","title":"Active Task-Inference-Guided Deep Inverse Reinforcement Learning","created":"2020-01-24","cited_by_count":17,"area":"offlinerl"},{"id":"2301.01526","title":"Robust Control for Dynamical Systems With Non-Gaussian Noise via Formal Abstractions","created":"2023-01-04","cited_by_count":16,"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":"2410.12175","title":"Reinforcement Learning with LTL and $\\omega$-Regular Objectives via Optimality-Preserving Translation to Average Rewards","created":"2024-10-16","cited_by_count":14,"area":"deeprl"},{"id":"2110.12662","title":"Sampling-Based Robust Control of Autonomous Systems with Non-Gaussian Noise","created":"2021-10-25","cited_by_count":13,"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":"2310.12248","title":"A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs","created":"2023-10-18","cited_by_count":13,"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":"2404.11578","title":"LTL-Constrained Policy Optimization with Cycle Experience Replay","created":"2024-04-17","cited_by_count":11,"area":"deeprl"},{"id":"2212.01838","title":"Automata Learning meets Shielding","created":"2022-12-04","cited_by_count":9,"area":null},{"id":"2508.01561","title":"One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning","created":"2025-08-03","cited_by_count":8,"area":"deeprl"},{"id":"2110.02792","title":"Hierarchical Potential-based Reward Shaping from Task Specifications","created":"2021-10-06","cited_by_count":7,"area":null},{"id":"2408.14871","title":"Learning Robust Reward Machines from Noisy Labels","created":"2024-08-27","cited_by_count":7,"area":"deeprl"},{"id":"2202.02404","title":"Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives","created":"2022-02-04","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":"2404.05424","title":"What Are the Odds? Improving the foundations of Statistical Model Checking","created":"2024-04-08","cited_by_count":5,"area":null},{"id":"2410.12136","title":"Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration","created":"2024-10-16","cited_by_count":5,"area":"deeprl"},{"id":"2206.01465","title":"PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP","created":"2022-06-03","cited_by_count":4,"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":"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":"2404.05074","title":"On the Uniqueness of Solution for the Bellman Equation of LTL Objectives","created":"2024-04-07","cited_by_count":3,"area":null},{"id":"2409.02747","title":"Tractable Offline Learning of Regular Decision Processes","created":"2024-09-04","cited_by_count":3,"area":"offlinerl"},{"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":"2303.01346","title":"Co-learning Planning and Control Policies Constrained by Differentiable Logic Specifications","created":"2023-03-02","cited_by_count":2,"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":"2402.13785","title":"Composing Reinforcement Learning Policies, with Formal Guarantees","created":"2024-02-21","cited_by_count":2,"area":"deeprl"},{"id":"2411.12019","title":"Regret-Free Reinforcement Learning for LTL Specifications","created":"2024-11-18","cited_by_count":1,"area":"deeprl"},{"id":"2506.01167","title":"Accelerated Learning with Linear Temporal Logic using Differentiable Simulation","created":"2025-06-01","cited_by_count":1,"area":"deeprl"},{"id":"2602.14344","title":"Zero-Shot Instruction Following in RL via Structured LTL Representations","created":"2026-02-15","cited_by_count":1,"area":"deeprl"},{"id":"2210.11259","title":"Safe Policy Improvement in Constrained Markov Decision Processes","created":"2022-10-20","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":"2304.10041","title":"Topology-Guided Modular Actor-Critic Learning for Continuous Systems under Temporal Objectives","created":"2023-04-20","cited_by_count":0,"area":null},{"id":"2304.12508","title":"Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning","created":"2023-04-25","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":"2505.15693","title":"Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives","created":"2025-05-21","cited_by_count":0,"area":"deeprl"},{"id":"2508.14093","title":"Physics-Informed Reward Machines","created":"2025-08-14","cited_by_count":0,"area":"deeprl"},{"id":"2508.16524","title":"Constraints-Guided Diffusion Reasoner for Neuro-Symbolic Learning","created":"2025-08-22","cited_by_count":0,"area":"lr"},{"id":"2510.16185","title":"Expressive Reward Synthesis with the Runtime Monitoring Language","created":"2025-10-17","cited_by_count":0,"area":"deeprl"},{"id":"2511.19849","title":"Near-Optimal Reinforcement Learning for Constrained Recurrence Objectives","created":"2025-11-25","cited_by_count":0,"area":"deeprl"},{"id":"2512.02633","title":"Zero-Shot Instruction Following in RL via Structured LTL Representations","created":"2025-12-02","cited_by_count":0,"area":"deeprl"},{"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},{"id":"2603.07546","title":"COOL-MC: Verifying and Explaining RL Policies for Multi-bridge Network Maintenance","created":"2026-03-08","cited_by_count":0,"area":"deeprl"},{"id":"2604.17106","title":"Live LTL Progress Tracking: Towards Task-Based Exploration","created":"2026-04-18","cited_by_count":0,"area":"deeprl"},{"id":"2606.29681","title":"Sample-Efficient Learning of Probabilistic Causes for Reachability in Markov Decision Processes with Probabilistic Guarantees","created":"2026-06-29","cited_by_count":0,"area":null},{"id":"2607.14877","title":"PAC Learning in Turn-Based Stochastic Games with Reachability Objectives: A Decentralized Private Approach via Expected Conditional Distance","created":"2026-07-16","cited_by_count":0,"area":"deeprl"},{"id":"2608.05047","title":"Exact Model-Free Policy Iteration for Co-safe LTL Planning","created":"2026-08-05","cited_by_count":0,"area":"deeprl"}],"next_cursor":null}