{"total":16,"rows":[{"id":"2209.08025","title":"Trustworthy Reinforcement Learning Against Intrinsic Vulnerabilities: Robustness, Safety, and Generalizability","created":"2022-09-16","cited_by_count":36,"area":null},{"id":"2309.05131","title":"Signal Temporal Logic Neural Predictive Control","created":"2023-09-10","cited_by_count":13,"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":"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":"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":"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":"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":"2210.07439","title":"Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives","created":"2022-10-14","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.15916","title":"Multi-agent transformer-accelerated RL for satisfaction of STL specifications","created":"2024-03-23","cited_by_count":1,"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}],"next_cursor":null}