{"total":14,"rows":[{"id":"2404.02817","title":"A Survey of Optimization-based Task and Motion Planning: From Classical To Learning Approaches","created":"2024-04-03","cited_by_count":20,"area":null},{"id":"2505.00562","title":"TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching","created":"2025-05-01","cited_by_count":9,"area":null},{"id":"2501.04194","title":"STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification","created":"2025-01-08","cited_by_count":8,"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":"2408.05336","title":"Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning","created":"2024-08-09","cited_by_count":4,"area":null},{"id":"2409.09536","title":"VernaCopter: Disambiguated Natural-Language-Driven Robot via Formal Specifications","created":"2024-09-14","cited_by_count":4,"area":null},{"id":"2209.07881","title":"Model Predictive Robustness of Signal Temporal Logic Predicates","created":"2022-09-16","cited_by_count":3,"area":null},{"id":"2412.15837","title":"Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis","created":"2024-12-20","cited_by_count":3,"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":"2403.15826","title":"Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout","created":"2024-03-23","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":"2608.29490","title":"Generalizable Multi-Agent Planning from Signal Temporal Logic Specifications via Diffusion","created":"2026-08-30","cited_by_count":0,"area":null}],"next_cursor":null}