activity
20182022
most citedSynthesis of Infinite-State Systems with Random Behavior

2 citations · 3 across the 2 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.LO2022★ 1 cited

A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A

David Greve, Jennifer Davis, Laura Humphrey

The decentralized perimeter surveillance system (DPSS) seeks to provide a decentralized protocol for evenly distributing surveillance of a perimeter over time across an ensemble of…