{"total":22,"rows":[{"id":"2411.00205","title":"Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning","created":"2024-10-31","cited_by_count":19,"area":"deeprl"},{"id":"2404.11578","title":"LTL-Constrained Policy Optimization with Cycle Experience Replay","created":"2024-04-17","cited_by_count":11,"area":"deeprl"},{"id":"2406.00120","title":"Reward Machines for Deep RL in Noisy and Uncertain Environments","created":"2024-05-31","cited_by_count":11,"area":"deeprl"},{"id":"2406.03651","title":"Inductive Generalization in Reinforcement Learning from Specifications","created":"2024-06-05","cited_by_count":3,"area":"deeprl"},{"id":"2504.04675","title":"HypRL: Reinforcement Learning of Control Policies for Hyperproperties","created":"2025-04-07","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":"2607.00442","title":"Learning Gait-Aware Quadruped Locomotion with Temporal Logic Specifications","created":"2026-07-01","cited_by_count":2,"area":"deeprl"},{"id":"2410.08022","title":"Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching","created":"2024-10-10","cited_by_count":1,"area":"deeprl"},{"id":"2411.17861","title":"Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards","created":"2024-11-26","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":"2603.17152","title":"Shielded Reinforcement Learning Under Dynamic Temporal Logic Constraints","created":"2026-03-17","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":"2503.05818","title":"Closing the Intent-to-Behavior Gap via Fulfillment Priority Logic","created":"2025-03-04","cited_by_count":0,"area":"deeprl"},{"id":"2510.07715","title":"Control Synthesis of Cyber-Physical Systems for Real-Time Specifications through Causation-Guided Reinforcement Learning","created":"2025-10-09","cited_by_count":0,"area":"deeprl"},{"id":"2510.16185","title":"Expressive Reward Synthesis with the Runtime Monitoring Language","created":"2025-10-17","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":"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.04225","title":"Learning from Imperfect Demonstrations via Temporal Behavior Tree-Guided Trajectory Repair","created":"2026-04-05","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.28396","title":"Tractable Reinforcement Learning for Full Class of Signal Temporal Logic Specifications Using Spatiotemporal Tube Reward","created":"2026-09-23","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}