Data-Driven Statistical Learning of Temporal Logic Properties
| Author | |
| Year of Publication | 2014 |
| Book Title | Formal Modeling and Analysis of Timed Systems |
| Volume | 8711 |
| Number of Pages | 23-37 |
| Publisher | Springer International Publishing |
| ISBN Number | 978-3-319-10511-6 |
| URL | http://dx.doi.org/10.1007/978-3-319-10512-3_3 |
| DOI | 10.1007/978-3-319-10512-3_3 |
| Series Title | Lecture Notes in Computer Science |
| Download citation |