Prodromos Sotiriadis

Monitoring Autonomous Persistent Surveillance Missions Using Invariance

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 uncertainty state that decreases when observed and increases otherwise. We model the closed loop as…