Survey on mining signal temporal logic specifications
From MaRDI portal
Publication:2105443
DOI10.1016/j.ic.2022.104957OpenAlexW4295850088WikidataQ124212474 ScholiaQ124212474MaRDI QIDQ2105443
Eleonora Nesterini, Ezio Bartocci, Cristinel Mateis, Dejan Ničković
Publication date: 8 December 2022
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2022.104957
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Robustness of temporal logic specifications for continuous-time signals
- Probabilistic logic
- Learning regular sets from queries and counterexamples
- TeLEx: learning signal temporal logic from positive examples using tightness metric
- Learning linear temporal properties from noisy data: a MaxSAT-based approach
- Logical clustering and learning for time-series data
- The Daikon system for dynamic detection of likely invariants
- Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
- Mining requirements from closed-loop control models
- Temporal logic inference for classification and prediction from data
- A Decision Tree Approach to Data Classification using Signal Temporal Logic
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
- Applying Linear Quantifier Elimination
- Timed regular expressions
- Back-Propagation Through Signal Temporal Logic Specifications: Infusing Logical Structure into Gradient-Based Methods
- Robust Satisfaction of Temporal Logic over Real-Valued Signals
- A Decision Procedure for the First Order Theory of Real Addition with Order
- The benefits of relaxing punctuality
- Localizing Faults in Simulink/Stateflow Models with STL
- Interpretable classification of time-series data using efficient enumerative techniques
- Abnormal Data Classification Using Time-Frequency Temporal Logic
- Temporal Logics for Learning and Detection of Anomalous Behavior
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Data-Driven Statistical Learning of Temporal Logic Properties
This page was built for publication: Survey on mining signal temporal logic specifications
