Guido Sanguinetti

First name

Guido

Last name

Sanguinetti

Bufo, S., Bartocci, E., Sanguinetti, G., Borelli, M., Lucangelo, U., Bortolussi, L., et al. (2014). Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. In Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications (Vol. 8803, pp. 391-403). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-45231-8_30

View

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

View

Design by Adaptive Theme