Monitoring Spatio-Temporal Properties (Invited Tutorial).

Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti

Browse the full RV paper archive.