{"total":14,"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":"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":"2408.09495","title":"Directed Exploration in Reinforcement Learning from Linear Temporal Logic","created":"2024-08-18","cited_by_count":7,"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":"2512.14617","title":"Model-Based Reinforcement Learning in Discrete-Action Non-Markovian Reward Decision Processes","created":"2025-12-16","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":"2508.00106","title":"Hyperproperty-Constrained Secure Reinforcement Learning","created":"2025-07-31","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":"2512.17637","title":"About Time: Model-free Reinforcement Learning with Timed Reward Machines","created":"2025-12-19","cited_by_count":0,"area":"deeprl"},{"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":"2608.05047","title":"Exact Model-Free Policy Iteration for Co-safe LTL Planning","created":"2026-08-05","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"}],"next_cursor":null}