TY  - RPRT
TI  - A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A
AU  - David Greve
AU  - Jennifer Davis
AU  - Laura Humphrey
PY  - 2022
DO  - 10.4204/eptcs.359.5
UR  - https://arxiv.org/abs/2205.11697
ID  - 2205.11697
ER  -