Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning

En 3 lignesArticle arXiv proposant une notion de robustesse spatiotemporelle (STR) pour les spécifications de logique temporelle sur signaux discrets. Formalisée comme problème de raisonnement multi-objectif via ordre partiel, STR capture perturbations spatiales et temporelles conjointes. Applicable aux systèmes multi-agents, villes intelligentes, contrôle du trafic aérien. Algorithmes de monitoring proposés.

Résumé généré par Claude — vérifié par l'humain