Document Open Access Logo

Learning Temporal Logic Formulas from Time-Series Data (Invited Talk)

Author Laura Nenzi



PDF
Thumbnail PDF

File

LIPIcs.TIME.2023.1.pdf
  • Filesize: 412 kB
  • 2 pages

Document Identifiers

Author Details

Laura Nenzi
  • Department of Engineering and Architecture, University of Trieste, Italy

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 AsGet 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)
    0
    PDF Downloads

References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail