Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning

Oliver Schön, Lars Lindemann

The reliability of autonomous systems depends on their robustness, i.e., their ability to meet their objectives under uncertainty. In this paper, we study spatiotemporal robustness…