Survey on mining signal temporal logic specifications

Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	1-21
Seitenumfang	21
Fachzeitschrift	Quantum Information & Computation
Volume	289
DOIs	https://doi.org/10.1016/j.ic.2022.104957
Publikationsstatus	Veröffentlicht - 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 = "Rinton Press Inc.",

}

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 -