Monitoring autonomous persistent surveillance missions using invariance
arXiv:2605.06062v1 Announce Type: new
Abstract: 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 parts, each carrying an un…