activity
20182026
most citedPost-Metering Value-Added Services for Low Voltage Electricity Users: Lessons Learned From the Italian Experience of CHAIN 2

6 citations · 7 across the 4 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2018

Towards formal models and languages for verifiable Multi-Robot Systems

Rocco De Nicola, Luca Di Stefano, Omar Inverso

Incorrect operations of a Multi-Robot System (MRS) may not only lead to unsatisfactory results, but can also cause economic losses and threats to safety. These threats may not alwa…