137 citations · 525 across the 67 of their papers we have counts for
1 paper · 2 filters
Ezio Bartocci
Decentralized monitoring (DM) refers to a monitoring technique, where each component must infer, based on a set of partial observations if the global property is satisfied. Our wor…