{"total":25,"rows":[{"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":"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":"2409.10218","title":"Safety-Oriented Pruning and Interpretation of Reinforcement Learning Policies","created":"2024-09-16","cited_by_count":9,"area":"deeprl"},{"id":"2403.18725","title":"Probabilistic Model Checking of Stochastic Reinforcement Learning Policies","created":"2024-03-27","cited_by_count":5,"area":"deeprl"},{"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":"2406.03651","title":"Inductive Generalization in Reinforcement Learning from Specifications","created":"2024-06-05","cited_by_count":3,"area":"deeprl"},{"id":"2501.03142","title":"Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policies","created":"2025-01-06","cited_by_count":2,"area":"deeprl"},{"id":"2510.05061","title":"Automaton Constrained Q-Learning","created":"2025-10-06","cited_by_count":2,"area":"deeprl"},{"id":"2601.22891","title":"PlatoLTL: Scaling LTL-Guided Multi-Task RL","created":"2026-01-30","cited_by_count":2,"area":"deeprl"},{"id":"2602.06746","title":"Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions","created":"2026-02-06","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":"2604.24729","title":"SpecRLBench: A Benchmark for Generalization in Specification-Guided Reinforcement Learning","created":"2026-04-27","cited_by_count":1,"area":"deeprl"},{"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.00106","title":"Hyperproperty-Constrained Secure Reinforcement Learning","created":"2025-07-31","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":"2512.01047","title":"Automating the Refinement of Reinforcement Learning Specifications","created":"2025-11-30","cited_by_count":0,"area":"deeprl"},{"id":"2512.01502","title":"Formal Verification of Noisy Quantum Reinforcement Learning Policies","created":"2025-12-01","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":"2604.14440","title":"On Tackling Complex Tasks with Reward Machines and Signal Temporal Logics","created":"2026-04-09","cited_by_count":0,"area":"deeprl"},{"id":"2605.24740","title":"Reinforcement Learning for Reachability: Guaranteeing Asymptotic Optimality","created":"2026-05-23","cited_by_count":0,"area":"deeprl"},{"id":"2609.20954","title":"Efficient Bayes-Adaptive Reinforcement Learning with Temporal Logic Specifications","created":"2026-09-17","cited_by_count":0,"area":"deeprl"},{"id":"2609.38065","title":"Jaxolotl: A Unified High-Performance Benchmark Suite for LTL-Based Multi-Task RL","created":"2026-09-29","cited_by_count":0,"area":"deeprl"},{"id":"2610.01781","title":"Q-Learning for Reachability in MEC-Free MDPs","created":"2026-10-01","cited_by_count":0,"area":"deeprl"}],"next_cursor":null}