{"total":10,"rows":[{"id":"2303.03226","title":"Safe Reinforcement Learning via Probabilistic Logic Shields","created":"2023-03-06","cited_by_count":42,"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":"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":"2110.02792","title":"Hierarchical Potential-based Reward Shaping from Task Specifications","created":"2021-10-06","cited_by_count":7,"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":"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":"2603.03177","title":"Neuro-Symbolic Artificial Intelligence: A Task-Directed Survey in the Black-Box Models Era","created":"2026-03-03","cited_by_count":2,"area":null},{"id":"2311.02099","title":"A Safe Preference Learning Approach for Personalization with Applications to Autonomous Vehicles","created":"2023-10-30","cited_by_count":1,"area":null},{"id":"2210.11259","title":"Safe Policy Improvement in Constrained Markov Decision Processes","created":"2022-10-20","cited_by_count":0,"area":null},{"id":"2607.08899","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","created":"2026-07-09","cited_by_count":0,"area":null}],"next_cursor":null}