Survey on mining signal temporal logic specifications.
Saved in:
| Title: | Survey on mining signal temporal logic specifications. |
|---|---|
| Authors: | Bartocci, Ezio1, Mateis, Cristinel2, Nesterini, Eleonora1,2, eleonora.nesterini@tuwien.ac.at, Nickovic, Dejan2 |
| Source: | Information & Computation; Nov2022:Part A, Vol. 289, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 08905401 |
|---|---|
| DOI: | 10.1016/j.ic.2022.104957 |
