Qualitative and quantitative monitoring of spatio-temporal properties