{"total":17,"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":"2209.09881","title":"Risk Verification of Stochastic Systems with Neural Network Controllers","created":"2022-08-26","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":"2411.01184","title":"Guiding Multi-agent Multi-task Reinforcement Learning by a Hierarchical Framework with Logical Reward Shaping","created":"2024-11-02","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":"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":"2105.11508","title":"Inferring Temporal Logic Properties from Data using Boosted Decision Trees","created":"2021-05-24","cited_by_count":2,"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":"2603.29868","title":"Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning","created":"2026-01-28","cited_by_count":1,"area":null},{"id":"2107.10390","title":"Reinforcement Learning Agent Training with Goals for Real World Tasks","created":"2021-07-21","cited_by_count":0,"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":"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":"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.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}],"next_cursor":null}