Survey on mining signal temporal logic specifications

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	1-21
Number of pages	21
Journal	Quantum Information & Computation
Volume	289
DOIs	https://doi.org/10.1016/j.ic.2022.104957
Publication status	Published - 2022

Research Field

@article{b516f44002f24cf391f054b0698ce28d,

title = "Survey on mining signal temporal logic specifications",

author = "Ezio Bartocci and Cristinel Mateis and Eleonora Nesterini and Dejan Nickovic",

year = "2022",

doi = "10.1016/j.ic.2022.104957",

language = "English",

volume = "289",

pages = "1--21",

journal = "Quantum Information \& Computation",

issn = "1533-7146",

publisher = "Sciendo",

}

TY - JOUR

T1 - Survey on mining signal temporal logic specifications

AU - Bartocci, Ezio

AU - Mateis, Cristinel

AU - Nesterini, Eleonora

AU - Nickovic, Dejan

PY - 2022

Y1 - 2022

U2 - 10.1016/j.ic.2022.104957

DO - 10.1016/j.ic.2022.104957

M3 - Article

SN - 1533-7146

VL - 289

SP - 1

EP - 21

JO - Quantum Information & Computation

JF - Quantum Information & Computation

ER -