MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties.

Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti

Browse the full RV paper archive.