Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
arXiv:2603.29868v1 Announce Type: new
Abstract: 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 of temporal logic spec…