{"total":14,"rows":[{"id":"2201.09928","title":"Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes","created":"2022-01-24","cited_by_count":7,"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":"2104.01503","title":"STL Robustness Risk over Discrete-Time Stochastic Processes","created":"2021-04-03","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":"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":"2112.10714","title":"Learning Spatio-Temporal Specifications for Dynamical Systems","created":"2021-12-20","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":"2311.05084","title":"Signal Temporal Logic-Guided Apprenticeship Learning","created":"2023-11-09","cited_by_count":1,"area":null},{"id":"2509.05481","title":"STL-based Optimization of Biomolecular Neural Networks for Regression and Control","created":"2025-09-05","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":"2607.08899","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","created":"2026-07-09","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.20634","title":"PAA: The Probabilistic Allen Algebra: A Generative and Complete Probabilistic Extension of Allen's Interval Relations","created":"2026-09-17","cited_by_count":0,"area":null}],"next_cursor":null}