Axel Legay

Bartocci, E., Bortolussi, L., Sanguinetti, G., Legay, A., & Bozga, M. (2014). Data-Driven Statistical Learning of Temporal Logic Properties. In Formal Modeling and Analysis of Timed Systems (Vol. 8711, pp. 23-37). Springer International Publishing. https://doi.org/10.1007/978-3-319-10512-3_3