TU Wien Informatics

Role

  • Online Monitoring of Spatio-Temporal Properties for Imprecise Signals / E. Visconti, E. Bartocci, M. Loreti, L. Nenzi / accepted as talk for: MEMOCODE'21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Beijing, China (Online due to Covid); 2021-11-20 - 2021-11-22; in: "Proc. of MEMOCODE'21: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design", (2021)