{"total":11,"rows":[{"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":"2110.10729","title":"Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees","created":"2021-10-20","cited_by_count":6,"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":"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":"2310.17410","title":"Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic","created":"2023-10-26","cited_by_count":3,"area":null},{"id":"2312.01959","title":"Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees","created":"2023-12-04","cited_by_count":2,"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":"2603.29868","title":"Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning","created":"2026-01-28","cited_by_count":1,"area":null},{"id":"2103.14264","title":"Provably Correct Controller Synthesis of Switched Stochastic Systems with Metric Temporal Logic Specifications: A Case Study on Power Systems","created":"2021-03-26","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":"2605.13923","title":"Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations","created":"2026-05-13","cited_by_count":0,"area":null}],"next_cursor":null}