2 papers
cs.RO2026
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…
eess.SY2025
One Stack, Diverse Vehicles: Checking Safe Portability of Automated Driving Software
Vladislav Nenchev
Integrating an automated driving software stack into vehicles with variable configuration is challenging, especially due to different hardware characteristics. Further, to provide…