{"total":12,"rows":[{"id":"2109.10294","title":"DeepSTL -- From English Requirements to Signal Temporal Logic","created":"2021-09-21","cited_by_count":22,"area":null},{"id":"2309.05131","title":"Signal Temporal Logic Neural Predictive Control","created":"2023-09-10","cited_by_count":13,"area":null},{"id":"2302.10030","title":"Safe Deep Reinforcement Learning by Verifying Task-Level Properties","created":"2023-02-20","cited_by_count":9,"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.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":"2108.01317","title":"Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications","created":"2021-08-03","cited_by_count":1,"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":"2603.02396","title":"COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management","created":"2026-03-02","cited_by_count":0,"area":null},{"id":"2606.31494","title":"Robustness of Robotic Manipulation: Foundations and Frontiers","created":"2026-06-30","cited_by_count":0,"area":null},{"id":"2609.37519","title":"Video2STL: Grounding VLM-Generated Temporal Specifications for Robot Learning","created":"2026-09-29","cited_by_count":0,"area":null}],"next_cursor":null}