Monitoring autonomous persistent surveillance missions using invariance

Vladislav Nenchev, Prodromos Sotiriadis

This paper studies runtime monitoring for persistent surveillance by autonomous robots when the autonomy stack is a black box. The environment is partitioned into finitely many par…