{"total":17,"rows":[{"id":"2102.12855","title":"Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic","created":"2021-02-24","cited_by_count":39,"area":null},{"id":"2109.13377","title":"Model-Free Reinforcement Learning for Optimal Control of MarkovDecision Processes Under Signal Temporal Logic Specifications","created":"2021-09-27","cited_by_count":10,"area":null},{"id":"2201.08504","title":"Deep reinforcement learning under signal temporal logic constraints using Lagrangian relaxation","created":"2022-01-21","cited_by_count":8,"area":null},{"id":"2212.03181","title":"Funnel-based Reward Shaping for Signal Temporal Logic Tasks in Reinforcement Learning","created":"2022-11-30","cited_by_count":8,"area":null},{"id":"2202.02404","title":"Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives","created":"2022-02-04","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":"2510.00225","title":"TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks","created":"2025-09-30","cited_by_count":6,"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":"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":"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":"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.02396","title":"COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management","created":"2026-03-02","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":"2608.13625","title":"Reward Machines for Signal Temporal Logic","created":"2026-08-13","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}