Monitoring mobile and spatially distributed cyber-physical systems.

Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi

Browse the full MEMOCODE paper archive.