{"total":40,"rows":[{"id":"2102.06858","title":"LTL2Action: Generalizing LTL Instructions for Multi-Task RL","created":"2021-02-13","cited_by_count":74,"area":null},{"id":"2112.13112","title":"A Survey on Interpretable Reinforcement Learning","created":"2021-12-24","cited_by_count":73,"area":null},{"id":"2106.13906","title":"Compositional Reinforcement Learning from Logical Specifications","created":"2021-06-25","cited_by_count":67,"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":"2109.10294","title":"DeepSTL -- From English Requirements to Signal Temporal Logic","created":"2021-09-21","cited_by_count":22,"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":"2305.17115","title":"Policy Synthesis and Reinforcement Learning for Discounted LTL","created":"2023-05-26","cited_by_count":14,"area":null},{"id":"2309.05131","title":"Signal Temporal Logic Neural Predictive Control","created":"2023-09-10","cited_by_count":13,"area":null},{"id":"2204.11833","title":"Joint Learning of Reward Machines and Policies in Environments with Partially Known Semantics","created":"2022-04-20","cited_by_count":12,"area":null},{"id":"2109.13377","title":"Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specifications","created":"2021-09-27","cited_by_count":10,"area":null},{"id":"2211.10902","title":"Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines","created":"2022-11-20","cited_by_count":10,"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":"2206.03348","title":"Specification-Guided Learning of Nash Equilibria with High Social Welfare","created":"2022-06-06","cited_by_count":8,"area":null},{"id":"2212.03181","title":"Funnel-based Reward Shaping for Signal Temporal Logic Tasks in Reinforcement Learning","created":"2022-11-30","cited_by_count":8,"area":null},{"id":"2202.02404","title":"Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives","created":"2022-02-04","cited_by_count":6,"area":null},{"id":"2304.06160","title":"Learning Robust and Correct Controllers from Signal Temporal Logic Specifications Using BarrierNet","created":"2023-04-12","cited_by_count":6,"area":null},{"id":"2501.13457","title":"Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks","created":"2025-01-23","cited_by_count":6,"area":null},{"id":"2510.00225","title":"TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks","created":"2025-09-30","cited_by_count":6,"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":"2408.05336","title":"Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning","created":"2024-08-09","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":"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":"2503.02012","title":"Pretrained Embeddings as a Behavior Specification Mechanism","created":"2025-03-03","cited_by_count":3,"area":null},{"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":"2306.13732","title":"Reinforcement Learning with Temporal-Logic-Based Causal Diagrams","created":"2023-06-23","cited_by_count":2,"area":null},{"id":"2101.10404","title":"Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme","created":"2021-01-25","cited_by_count":1,"area":null},{"id":"2108.01317","title":"Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications","created":"2021-08-03","cited_by_count":1,"area":null},{"id":"2111.08733","title":"Learning Provably Robust Motion Planners Using Funnel Libraries","created":"2021-11-16","cited_by_count":1,"area":null},{"id":"2210.07439","title":"Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives","created":"2022-10-14","cited_by_count":1,"area":null},{"id":"2212.05200","title":"Neural Controller Synthesis for Signal Temporal Logic Specifications Using Encoder-Decoder Structured Networks","created":"2022-12-10","cited_by_count":1,"area":null},{"id":"2403.15916","title":"Multi-agent transformer-accelerated RL for satisfaction of STL specifications","created":"2024-03-23","cited_by_count":1,"area":null},{"id":"2605.12651","title":"Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic","created":"2026-05-12","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":"2512.06973","title":"Feasibility-aware Learning of Robust Temporal Logic Controllers using BarrierNet","created":"2025-12-07","cited_by_count":0,"area":null},{"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.17969","title":"Specification-Aware Distribution Shaping for Robotics Foundation Models","created":"2026-03-18","cited_by_count":0,"area":null},{"id":"2605.01222","title":"Zero-Shot Signal Temporal Logic Planning with Disjunctive Branch Selection in Dynamic Semantic Maps","created":"2026-05-02","cited_by_count":0,"area":null},{"id":"2608.13625","title":"Reward Machines for Signal Temporal Logic","created":"2026-08-13","cited_by_count":0,"area":null},{"id":"2609.07111","title":"From LLM-Generated Specifications to Learned Quadruped Locomotion","created":"2026-09-07","cited_by_count":0,"area":null}],"next_cursor":null}