{"total":19,"rows":[{"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":"2405.06670","title":"TLINet: Differentiable Neural Network Temporal Logic Inference","created":"2024-05-03","cited_by_count":9,"area":null},{"id":"2208.05440","title":"Differentiable Inference of Temporal Logic Formulas","created":"2022-08-10","cited_by_count":5,"area":null},{"id":"2405.14355","title":"Retrieval-Augmented Mining of Temporal Logic Specifications from Data","created":"2024-05-23","cited_by_count":5,"area":null},{"id":"2207.00627","title":"Interactive Learning from Natural Language and Demonstrations using Signal Temporal Logic","created":"2022-07-01","cited_by_count":2,"area":null},{"id":"2305.17258","title":"STL: Surprisingly Tricky Logic (for System Validation)","created":"2023-05-26","cited_by_count":2,"area":null},{"id":"2505.12107","title":"Learning Probabilistic Temporal Logic Specifications for Stochastic Systems","created":"2025-05-17","cited_by_count":2,"area":null},{"id":"2106.08548","title":"Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems","created":"2021-06-16","cited_by_count":1,"area":null},{"id":"2305.00576","title":"Joint Learning of Policy with Unknown Temporal Constraints for Safe Reinforcement Learning","created":"2023-04-30","cited_by_count":1,"area":null},{"id":"2405.10608","title":"ECATS: Explainable-by-design concept-based anomaly detection for time series","created":"2024-05-17","cited_by_count":1,"area":null},{"id":"2507.07808","title":"Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers","created":"2025-07-10","cited_by_count":1,"area":null},{"id":"2508.03269","title":"Towards Interpretable Concept Learning over Time Series via Temporal Logic Semantics","created":"2025-08-05","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":"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":"2505.18030","title":"Automata Learning of Preferences over Temporal Logic Formulas from Pairwise Comparisons","created":"2025-05-23","cited_by_count":0,"area":null},{"id":"2511.04244","title":"Guided by Stars: Interpretable Concept Learning Over Time Series via Temporal Logic Semantics","created":"2025-11-06","cited_by_count":0,"area":null},{"id":"2609.01032","title":"On Synthesis of Metric Interval Temporal Logics","created":"2026-09-01","cited_by_count":0,"area":null},{"id":"2610.14352","title":"Class-Conditional Conformal Prediction for Signal Temporal Logic Inference with Many Classes","created":"2026-10-09","cited_by_count":0,"area":null}],"next_cursor":null}