Login / Signup
A Mechanized Proof of Bounded Convergence Time for the Distributed Perimeter Surveillance System (DPSS) Algorithm A.
David A. Greve
Jennifer A. Davis
Laura R. Humphrey
Published in:
ACL2 (2022)
Keyphrases
</>
iterative algorithms
convergence rate
surveillance system
learning algorithm
dynamic programming
preprocessing
camera network
similarity measure
convex hull
machine learning
video surveillance
target detection and tracking