{"total":26,"rows":[{"id":"2103.04529","title":"Self-Supervised Online Reward Shaping in Sparse-Reward Environments","created":"2021-03-08","cited_by_count":37,"area":null},{"id":"2205.06750","title":"Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking","created":"2022-05-13","cited_by_count":34,"area":null},{"id":"2303.02135","title":"Eventual Discounting Temporal Logic Counterfactual Experience Replay","created":"2023-03-03","cited_by_count":19,"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":"2201.12231","title":"Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications","created":"2022-01-28","cited_by_count":12,"area":null},{"id":"2212.01944","title":"Automaton-Based Representations of Task Knowledge from Generative Language Models","created":"2022-12-04","cited_by_count":12,"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":"2209.13220","title":"Exploiting Transformer in Sparse Reward Reinforcement Learning for Interpretable Temporal Logic Motion Planning","created":"2022-09-27","cited_by_count":10,"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":"2201.08504","title":"Deep reinforcement learning under signal temporal logic constraints using Lagrangian relaxation","created":"2022-01-21","cited_by_count":8,"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":"2112.06594","title":"Multi-agent Soft Actor-Critic Based Hybrid Motion Planner for Mobile Robots","created":"2021-12-13","cited_by_count":5,"area":null},{"id":"2109.14268","title":"Formulation and validation of a car-following model based on deep reinforcement learning","created":"2021-09-29","cited_by_count":4,"area":null},{"id":"2103.15938","title":"Safe Model-based Control from Signal Temporal Logic Specifications Using Recurrent Neural Networks","created":"2021-03-29","cited_by_count":3,"area":null},{"id":"2307.16062","title":"Using Implicit Behavior Cloning and Dynamic Movement Primitive to Facilitate Reinforcement Learning for Robot Motion Planning","created":"2023-07-29","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":"2303.06799","title":"Gaussian Process on the Product of Directional Manifolds","created":"2023-03-13","cited_by_count":2,"area":null},{"id":"2304.11593","title":"System III: Learning with Domain Knowledge for Safety Constraints","created":"2023-04-23","cited_by_count":2,"area":null},{"id":"2109.02791","title":"Safety-Critical Learning of Robot Control with Temporal Logic Specifications","created":"2021-09-07","cited_by_count":1,"area":null},{"id":"2112.13817","title":"Intelligent Traffic Light via Policy-based Deep Reinforcement Learning","created":"2021-12-27","cited_by_count":1,"area":null},{"id":"2305.00561","title":"Model-free Motion Planning of Autonomous Agents for Complex Tasks in Partially Observable Environments","created":"2023-04-30","cited_by_count":1,"area":null},{"id":"2312.11314","title":"Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis","created":"2023-12-18","cited_by_count":1,"area":null},{"id":"2212.11792","title":"CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications","created":"2022-11-30","cited_by_count":0,"area":null},{"id":"2602.03486","title":"DeepDFA: Injecting Temporal Logic in Deep Learning for Sequential Subsymbolic Applications","created":"2026-02-03","cited_by_count":0,"area":null},{"id":"2605.22874","title":"NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic","created":"2026-05-20","cited_by_count":0,"area":null}],"next_cursor":null}