{"total":21,"rows":[{"id":"2309.10092","title":"Conformal Temporal Logic Planning using Large Language Models","created":"2023-09-18","cited_by_count":21,"area":null},{"id":"2402.15368","title":"Probabilistically Correct Language-based Multi-Robot Planning using Conformal Prediction","created":"2024-02-23","cited_by_count":18,"area":null},{"id":"2309.05131","title":"Signal Temporal Logic Neural Predictive Control","created":"2023-09-10","cited_by_count":13,"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.04138","title":"Targeted Adversarial Attacks against Neural Network Trajectory Predictors","created":"2022-12-08","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":"2205.04424","title":"Accelerated Reinforcement Learning for Temporal Logic Control Objectives","created":"2022-05-09","cited_by_count":9,"area":null},{"id":"2104.05435","title":"Neural Network for Weighted Signal Temporal Logic","created":"2021-04-08","cited_by_count":5,"area":null},{"id":"2308.10393","title":"Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications","created":"2023-08-20","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":"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":"2401.04003","title":"Simultaneous Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications","created":"2024-01-08","cited_by_count":2,"area":null},{"id":"2503.15807","title":"Video-VoT-R1: An efficient video inference model integrating image packing and AoE architecture","created":"2025-03-20","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":"2603.29868","title":"Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning","created":"2026-01-28","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":"2305.17018","title":"Formal Modelling for Multi-Robot Systems Under Uncertainty","created":"2023-05-26","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":"2403.01277","title":"Optimal Integrated Task and Path Planning and Its Application to Multi-Robot Pickup and Delivery","created":"2024-03-02","cited_by_count":0,"area":null},{"id":"2511.06575","title":"CoFineLLM: Conformal Finetuning of LLMs for Language-Instructed Robot Planning","created":"2025-11-09","cited_by_count":0,"area":null},{"id":"2511.15414","title":"RRT*former: Environment-Aware Sampling-Based Motion Planning using Transformer","created":"2025-11-19","cited_by_count":0,"area":null}],"next_cursor":null}