{"total":38,"rows":[{"id":"2102.00876","title":"The Complexity of Learning Linear Temporal Formulas from Examples","created":"2021-02-01","cited_by_count":12,"area":null},{"id":"2209.02650","title":"Learning Interpretable Temporal Properties from Positive Examples Only","created":"2022-09-06","cited_by_count":12,"area":null},{"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":"2110.00581","title":"Classification of Time-Series Data Using Boosted Decision Trees","created":"2021-10-01","cited_by_count":9,"area":null},{"id":"2110.06726","title":"Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic","created":"2021-10-13","cited_by_count":9,"area":null},{"id":"2402.12373","title":"LTL learning on GPUs","created":"2024-02-19","cited_by_count":6,"area":null},{"id":"2111.04147","title":"Learning Finite Linear Temporal Logic Specifications with a Specialized Neural Operator","created":"2021-11-07","cited_by_count":5,"area":null},{"id":"2311.07377","title":"Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach","created":"2023-11-13","cited_by_count":5,"area":null},{"id":"2312.16336","title":"Learning temporal formulas from examples is hard","created":"2023-12-26","cited_by_count":4,"area":null},{"id":"2105.11545","title":"Uncertainty-Aware Signal Temporal Logic Inference","created":"2021-05-24","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":"2105.11508","title":"Inferring Temporal Logic Properties from Data using Boosted Decision Trees","created":"2021-05-24","cited_by_count":2,"area":null},{"id":"2106.05891","title":"Temporal and Object Quantification Networks","created":"2021-06-10","cited_by_count":2,"area":null},{"id":"2109.14883","title":"Process discovery on deviant traces and other stranger things","created":"2021-09-30","cited_by_count":2,"area":null},{"id":"2202.05403","title":"Learning Temporal Rules from Noisy Timeseries Data","created":"2022-02-11","cited_by_count":2,"area":null},{"id":"2208.08552","title":"A Framework for Understanding and Visualizing Strategies of RL Agents","created":"2022-08-17","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":"2212.00916","title":"Learning Temporal Logic Properties: an Overview of Two Recent Methods","created":"2022-12-02","cited_by_count":1,"area":null},{"id":"2305.01248","title":"Reverse Engineering of Temporal Queries Mediated by LTL Ontologies","created":"2023-05-02","cited_by_count":1,"area":null},{"id":"2306.13956","title":"Pointwise-in-Time Explanation for Linear Temporal Logic Rules","created":"2023-06-24","cited_by_count":1,"area":null},{"id":"2311.02099","title":"A Safe Preference Learning Approach for Personalization with Applications to Autonomous Vehicles","created":"2023-10-30","cited_by_count":1,"area":null},{"id":"2404.02872","title":"Integrating Explanations in Learning LTL Specifications from Demonstrations","created":"2024-04-03","cited_by_count":1,"area":null},{"id":"2507.21752","title":"SAT-Based Bounded Fitting for the Description Logic ALC","created":"2025-07-29","cited_by_count":1,"area":null},{"id":"2509.24616","title":"LTL$_f$ Learning Meets Boolean Set Cover","created":"2025-09-29","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":"2206.06722","title":"Specification sketching for Linear Temporal Logic","created":"2022-06-14","cited_by_count":0,"area":null},{"id":"2211.03461","title":"Learning Probabilistic Temporal Safety Properties from Examples in Relational Domains","created":"2022-11-07","cited_by_count":0,"area":null},{"id":"2306.07662","title":"Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology","created":"2023-06-13","cited_by_count":0,"area":null},{"id":"2306.09966","title":"Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference","created":"2023-06-16","cited_by_count":0,"area":null},{"id":"2410.07708","title":"Learning Tree Pattern Transformations","created":"2024-10-10","cited_by_count":0,"area":null},{"id":"2410.10011","title":"Learning Interpretable Classifiers for PDDL Planning","created":"2024-10-13","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":"2510.01853","title":"Learning Representations Through Contrastive Neural Model Checking","created":"2025-10-02","cited_by_count":0,"area":null},{"id":"2603.06710","title":"Mining Beyond the Bools: Learning Data Transformations and Temporal Specifications","created":"2026-03-05","cited_by_count":0,"area":null},{"id":"2605.07452","title":"Bounded Fitting for Expressive Description Logics","created":"2026-05-08","cited_by_count":0,"area":null},{"id":"2605.22874","title":"NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic","created":"2026-05-20","cited_by_count":0,"area":null},{"id":"2607.10918","title":"Learning Linear Temporal Specifications from Demonstrations with Uncertainty","created":"2026-07-12","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}],"next_cursor":null}