{"total":77,"rows":[{"id":"2309.15129","title":"Evaluating Cognitive Maps and Planning in Large Language Models with CogEval","created":"2023-09-25","cited_by_count":77,"area":null},{"id":"2106.13906","title":"Compositional Reinforcement Learning from Logical Specifications","created":"2021-06-25","cited_by_count":67,"area":null},{"id":"2303.03226","title":"Safe Reinforcement Learning via Probabilistic Logic Shields","created":"2023-03-06","cited_by_count":42,"area":null},{"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":"2205.06750","title":"Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking","created":"2022-05-13","cited_by_count":34,"area":null},{"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":"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":"2001.09227","title":"Active Task-Inference-Guided Deep Inverse Reinforcement Learning","created":"2020-01-24","cited_by_count":17,"area":"offlinerl"},{"id":"2506.01622","title":"General agents contain world models","created":"2025-06-02","cited_by_count":17,"area":"wm"},{"id":"2309.13701","title":"ALLURE: Auditing and Improving LLM-based Evaluation of Text using Iterative In-Context-Learning","created":"2023-09-24","cited_by_count":15,"area":null},{"id":"2101.08153","title":"Shielding Atari Games with Bounded Prescience","created":"2021-01-20","cited_by_count":14,"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":"2312.01456","title":"Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees","created":"2023-12-03","cited_by_count":14,"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":"2209.10341","title":"LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning","created":"2022-09-21","cited_by_count":11,"area":null},{"id":"2504.21022","title":"ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees","created":"2025-04-22","cited_by_count":11,"area":null},{"id":"2504.17180","title":"We'll Fix it in Post: Improving Text-to-Video Generation with Neuro-Symbolic Feedback","created":"2025-04-24","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":"2205.06212","title":"Contingency-constrained economic dispatch with safe reinforcement learning","created":"2022-05-12","cited_by_count":8,"area":null},{"id":"2206.03348","title":"Specification-Guided Learning of Nash Equilibria with High Social Welfare","created":"2022-06-06","cited_by_count":8,"area":null},{"id":"2307.01316","title":"Towards Safe Autonomous Driving Policies using a Neuro-Symbolic Deep Reinforcement Learning Approach","created":"2023-07-03","cited_by_count":7,"area":"driving"},{"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":"2412.10917","title":"Adaptive Reward Design for Reinforcement Learning","created":"2024-12-14","cited_by_count":6,"area":"deeprl"},{"id":"2103.14600","title":"Model-Free Learning of Safe yet Effective Controllers","created":"2021-03-26","cited_by_count":5,"area":null},{"id":"2304.12090","title":"Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey","created":"2023-04-24","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":"2505.13851","title":"A Challenge to Build Neuro-Symbolic Video Agents","created":"2025-05-20","cited_by_count":5,"area":null},{"id":"2103.14489","title":"Probabilistic Planning with Preferences over Temporal Goals","created":"2021-03-26","cited_by_count":4,"area":null},{"id":"2301.02952","title":"Learning Symbolic Representations for Reinforcement Learning of Non-Markovian Behavior","created":"2023-01-08","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":"2107.12942","title":"Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts","created":"2021-07-27","cited_by_count":3,"area":null},{"id":"2203.16275","title":"Reinforcement Learning Guided by Provable Normative Compliance","created":"2022-03-30","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":"2406.03651","title":"Inductive Generalization in Reinforcement Learning from Specifications","created":"2024-06-05","cited_by_count":3,"area":"deeprl"},{"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":"2105.08748","title":"Learning to Act Safely with Limited Exposure and Almost Sure Certainty","created":"2021-05-18","cited_by_count":2,"area":null},{"id":"2106.11735","title":"Lifted Model Checking for Relational MDPs","created":"2021-06-22","cited_by_count":2,"area":null},{"id":"2209.11789","title":"SAFER: Safe Collision Avoidance using Focused and Efficient Trajectory Search with Reinforcement Learning","created":"2022-09-23","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":"2304.11593","title":"System III: Learning with Domain Knowledge for Safety Constraints","created":"2023-04-23","cited_by_count":2,"area":null},{"id":"2308.07469","title":"Omega-Regular Reward Machines","created":"2023-08-14","cited_by_count":2,"area":null},{"id":"2504.04675","title":"HypRL: Reinforcement Learning of Control Policies for Hyperproperties","created":"2025-04-07","cited_by_count":2,"area":"deeprl"},{"id":"2505.04539","title":"Qualitative Analysis of $\\omega$-Regular Objectives on Robust MDPs","created":"2025-05-07","cited_by_count":2,"area":null},{"id":"2505.12107","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","created":"2025-05-17","cited_by_count":2,"area":null},{"id":"2511.18701","title":"ObjectAlign: Neuro-Symbolic Object Consistency Verification and Correction","created":"2025-11-24","cited_by_count":2,"area":null},{"id":"2602.23553","title":"RT-NeuS: Towards Real-Time Neuro-Symbolic Video Understanding via Adaptive Temporal Verification","created":"2026-02-26","cited_by_count":2,"area":"lr"},{"id":"2607.02959","title":"Incentivizing Vision Language Models to Search for Long Video Question Answering","created":"2026-07-03","cited_by_count":2,"area":"mllm"},{"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":"2205.10464","title":"Synthesis from Satisficing and Temporal Goals","created":"2022-05-20","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":"2411.01425","title":"Learning Hidden Subgoals under Temporal Ordering Constraints in Reinforcement Learning","created":"2024-11-03","cited_by_count":1,"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":"2511.21531","title":"Predictive Safety Shield for Dyna-Q Reinforcement Learning","created":"2025-11-26","cited_by_count":1,"area":"deeprl"},{"id":"2103.05895","title":"WFA-IRL: Inverse Reinforcement Learning of Autonomous Behaviors Encoded as Weighted Finite Automata","created":"2021-03-10","cited_by_count":0,"area":"offlinerl"},{"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":"2306.01731","title":"PAGAR: Taming Reward Misalignment in Inverse Reinforcement Learning-Based Imitation Learning with Protagonist Antagonist Guided Adversarial Reward","created":"2023-06-02","cited_by_count":0,"area":"offlinerl"},{"id":"2310.04288","title":"Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning","created":"2023-10-06","cited_by_count":0,"area":null},{"id":"2311.10863","title":"Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks","created":"2023-11-17","cited_by_count":0,"area":null},{"id":"2410.24096","title":"Progressive Safeguards for Safe and Model-Agnostic Reinforcement Learning","created":"2024-10-31","cited_by_count":0,"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.14093","title":"Physics-Informed Reward Machines","created":"2025-08-14","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.15728","title":"RLAF: Reinforcement Learning from Automaton Feedback","created":"2025-10-17","cited_by_count":0,"area":"alignment"},{"id":"2512.01047","title":"Automating the Refinement of Reinforcement Learning Specifications","created":"2025-11-30","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.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.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":"2606.00838","title":"Decoupled Behavioral Cloning for Scalable Inductive Generalization in RL from Specifications","created":"2026-05-30","cited_by_count":0,"area":"offlinerl"},{"id":"2607.16210","title":"A Survey on the Verification of Reinforcement Learning Policies","created":"2026-05-14","cited_by_count":0,"area":"deeprl"},{"id":"2608.13625","title":"Reward Machines for Signal Temporal Logic","created":"2026-08-13","cited_by_count":0,"area":null},{"id":"2609.07461","title":"Temporal-Causal Inference for Reinforcement Learning via Automata Learning","created":"2026-09-07","cited_by_count":0,"area":"deeprl"}],"next_cursor":null}