LIPIcs.TIME.2023.1.pdf
- Filesize: 412 kB
- 2 pages
Document
Learning Temporal Logic Formulas from Time-Series Data (Invited Talk)
Author
Laura Nenzi 
-
Part of:
Volume:
30th International Symposium on Temporal Representation and Reasoning (TIME 2023)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Symposium on Temporal Representation and Reasoning (TIME) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2023-09-18
File
Document Identifiers
Author Details
Acknowledgements
The research surveyed in this talk is joint work with Luca Bortolussi, Eric Medvet, Jyotirmoy V. Deshmukh, Simone Silvetti, Federico Pigozzi, Patrick Indri, Sara Mohammadinejad, Ezio Bartocci, and Alberto Bartoli.
Cite As Get BibTex
Laura Nenzi. Learning Temporal Logic Formulas from Time-Series Data (Invited Talk). In 30th International Symposium on Temporal Representation and Reasoning (TIME 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 278, pp. 1:1-1:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
https://doi.org/10.4230/LIPIcs.TIME.2023.1
Abstract
In this talk, we provide an overview of recent advancements in the field of mining formal specifications from time-series data, with a specific focus on learning Signal Temporal Logic (STL) formulae.
Subject Classification
ACM Subject Classification
- Theory of computation → Modal and temporal logics
Keywords
- Temporal Logic
- Mining Specifications
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- Patrick Indri, Alberto Bartoli, Eric Medvet, and Laura Nenzi. One-shot learning of ensembles of temporal logic formulas for anomaly detection in cyber-physical systems. In Genetic Programming - 25th European Conference, EuroGP 2022, Held as Part of EvoStar 2022, Madrid, Spain, April 20-22, 2022, Proceedings, pages 34-50. Springer, 2022. URL: https://doi.org/10.1007/978-3-031-02056-8_3.
- Oded Maler and Dejan Nickovic. Monitoring temporal properties of continuous signals. In Yassine Lakhnech and Sergio Yovine, editors, Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, Lecture Notes in Computer Science, pages 152-166. Springer, 2004. URL: https://doi.org/10.1007/978-3-540-30206-3_12.
- Laura Nenzi, Ezio Bartocci, Luca Bortolussi, and Michele Loreti. A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems. Log. Methods Comput. Sci., 18(1), 2022. URL: https://doi.org/10.46298/lmcs-18(1:4)2022.
- Laura Nenzi, Simone Silvetti, Ezio Bartocci, and Luca Bortolussi. A robust genetic algorithm for learning temporal specifications from data. In Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, pages 323-338. Springer, 2018. URL: https://doi.org/10.1007/978-3-319-99154-2_20.