{"total":16,"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":"2210.01910","title":"Learning Signal Temporal Logic through Neural Network for Interpretable Classification","created":"2022-10-04","cited_by_count":10,"area":null},{"id":"2105.04472","title":"Safety of the Intended Driving Behavior Using Rulebooks","created":"2021-05-10","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":"2209.09674","title":"Testing Rare Downstream Safety Violations via Upstream Adaptive Sampling of Perception Error Models","created":"2022-09-20","cited_by_count":7,"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":"2104.01503","title":"STL Robustness Risk over Discrete-Time Stochastic Processes","created":"2021-04-03","cited_by_count":4,"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":"2212.01022","title":"STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning","created":"2022-12-02","cited_by_count":4,"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":"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":"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":"2512.06973","title":"Feasibility-aware Learning of Robust Temporal Logic Controllers using BarrierNet","created":"2025-12-07","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}],"next_cursor":null}