{"total":15,"rows":[{"id":"2104.15083","title":"Learning Linear Temporal Properties from Noisy Data: A MaxSAT Approach","created":"2021-04-30","cited_by_count":11,"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":"2110.00581","title":"Classification of Time-Series Data Using Boosted Decision Trees","created":"2021-10-01","cited_by_count":9,"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":"2105.11508","title":"Inferring Temporal Logic Properties from Data using Boosted Decision Trees","created":"2021-05-24","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":"2603.27062","title":"Conformalized Signal Temporal Logic Inference under Covariate Shift","created":"2026-03-28","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":"2604.23523","title":"Grammar-Constrained Refinement of Safety Operational Rules Using Language in the Loop: What Could Go Wrong","created":"2026-04-26","cited_by_count":1,"area":null},{"id":"2112.14300","title":"Time-Incremental Learning from Data Using Temporal Logics","created":"2021-12-28","cited_by_count":0,"area":null},{"id":"2207.12350","title":"Energy-efficient DNN Inference on Approximate Accelerators Through Formal Property Exploration","created":"2022-07-25","cited_by_count":0,"area":null},{"id":"2407.21090","title":"Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation","created":"2024-07-30","cited_by_count":0,"area":null},{"id":"2508.19367","title":"Inference of Human-derived Specifications of Object Placement via Demonstration","created":"2025-08-26","cited_by_count":0,"area":null},{"id":"2512.16770","title":"GinSign: Grounding Natural Language Into System Signatures for Temporal Logic Translation","created":"2025-12-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}