{"total":19,"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":"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":"2204.07579","title":"Interpretable Fault Diagnosis of Rolling Element Bearings with Temporal Logic Neural Network","created":"2022-04-15","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":"2107.12942","title":"Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts","created":"2021-07-27","cited_by_count":3,"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":"2310.20493","title":"Requirement falsification for cyber-physical systems using generative models","created":"2023-10-31","cited_by_count":3,"area":null},{"id":"2104.02737","title":"Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications","created":"2021-04-06","cited_by_count":2,"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":"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":"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.17087","title":"Backward through Time, Algebraically","created":"2026-08-17","cited_by_count":0,"area":null},{"id":"2609.07111","title":"From LLM-Generated Specifications to Learned Quadruped Locomotion","created":"2026-09-07","cited_by_count":0,"area":null}],"next_cursor":null}