@inbook{4,
  author = {Ezio Bartocci and Luca Bortolussi and Guido Sanguinetti and Axel Legay and Marius Bozga},
  title = {Data-Driven Statistical Learning of Temporal Logic Properties},
  year = {2014},
  journal = {Formal Modeling and Analysis of Timed Systems},
  volume = {8711},
  pages = {23-37},
  publisher = {Springer International Publishing},
  isbn = {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},
  language = {eng},
}