{"total":13,"rows":[{"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":"2405.06670","title":"TLINet: Differentiable Neural Network Temporal Logic Inference","created":"2024-05-03","cited_by_count":9,"area":null},{"id":"2104.05435","title":"Neural Network for Weighted Signal Temporal Logic","created":"2021-04-08","cited_by_count":5,"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":"2107.02912","title":"Supervised Bayesian Specification Inference from Demonstrations","created":"2021-07-06","cited_by_count":1,"area":null},{"id":"2309.16960","title":"On Generating Explanations for Reinforcement Learning Policies: An Empirical Study","created":"2023-09-29","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":"2112.14300","title":"Time-Incremental Learning from Data Using Temporal Logics","created":"2021-12-28","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.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":"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}