Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning

In three linesarXiv paper introducing spatiotemporal robustness (STR) for temporal logic specifications over discrete-time signals. Formalized as multi-objective reasoning problem via partial order, STR captures joint spatial and temporal perturbations. Applicable to multi-agent systems, smart cities, air traffic control. Monitoring algorithms proposed.

Summary generated by Claude — human-verified