Survey on mining signal temporal logic specifications
type: Item
instance of: scholarly article
title: Survey on mining signal temporal logic specifications
author: Ezio Bartocci
author: Cristinel Mateis
author: Eleonora Nesterini
author: Dejan Ničković
published in: Information and Computation
publication date: 2022-12-08T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7629148
Wikidata QID: Q124212474
describes a project that uses: Daikon
describes a project that uses: Breach
describes a project that uses: S-TaLiRo
MaRDI profile type: Publication
full work available at URL: j.ic.2022.104957
OpenAlex ID: W4295850088
cites work: The benefits of relaxing punctuality
cites work: Learning regular sets from queries and counterexamples
cites work: S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
cites work: Timed regular expressions
cites work: Data-Driven Statistical Learning of Temporal Logic Properties
cites work: Localizing Faults in Simulink/Stateflow Models with STL
cites work: A Decision Tree Approach to Data Classification using Signal Temporal Logic
cites work: Robust Satisfaction of Temporal Logic over Real-Valued Signals
cites work: The Daikon system for dynamic detection of likely invariants
cites work: Robustness of temporal logic specifications for continuous-time signals
cites work: A Decision Procedure for the First Order Theory of Real Addition with Order
cites work: Learning linear temporal properties from noisy data: a MaxSAT-based approach
cites work: Q3862379
cites work: TeLEx: learning signal temporal logic from positive examples using tightness metric
cites work: Mining requirements from closed-loop control models
cites work: Temporal Logics for Learning and Detection of Anomalous Behavior
cites work: Temporal logic inference for classification and prediction from data
cites work: Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods
cites work: Applying Linear Quantifier Elimination
cites work: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
cites work: Interpretable classification of time-series data using efficient enumerative techniques
cites work: Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
cites work: Abnormal Data Classification Using Time-Frequency Temporal Logic
cites work: Probabilistic logic
cites work: Logical clustering and learning for time-series data
DOI: 10.1016/J.IC.2022.104957
Recommended article: On Temporal Logic and Signal Processing
Recommended article: Temporal logic specification mining of programs
Recommended article: Propositional projection temporal logic specification mining
Recommended article: Temporal logic robustness for general signal classes
Recommended article: Interface-aware signal temporal logic
Recommended article: Mixed-time signal temporal logic
Recommended article: Robustness of temporal logic specifications for continuous-time signals
Recommended article: Mining quantified temporal rules: formalism, algorithms, and evaluation
description: scientific article; zbMATH DE number 7629148