{"total":13,"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":"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":"2102.00582","title":"Multi-Agent Reinforcement Learning with Temporal Logic Specifications","created":"2021-02-01","cited_by_count":27,"area":null},{"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":"2209.10341","title":"LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning","created":"2022-09-21","cited_by_count":11,"area":null},{"id":"2112.08438","title":"Programmatic Reward Design by Example","created":"2021-12-14","cited_by_count":9,"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.03698","title":"Verified Probabilistic Policies for Deep Reinforcement Learning","created":"2022-01-10","cited_by_count":6,"area":null},{"id":"2203.16275","title":"Reinforcement Learning Guided by Provable Normative Compliance","created":"2022-03-30","cited_by_count":3,"area":null},{"id":"2407.21029","title":"Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification","created":"2024-07-15","cited_by_count":3,"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":"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":"2605.31524","title":"Value Functions as Supermartingale Certificates","created":"2026-05-29","cited_by_count":0,"area":null}],"next_cursor":null}