Showing 1 - 2 results of 2 for search 'L. Nenzi', query time: 0.02s
Refine Results
-
1
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems by L. Nenzi, E. Bartocci, L. Bortolussi, M. Loreti
Published 2022-01-01
Article -
2
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL by L. Nenzi, L. Bortolussi, V. Ciancia, M. Loreti, M. Massink
Published 2018-10-01
Article