Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL - Université de Paris - Faculté des Sciences Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL

Fichier principal
Vignette du fichier
paper.pdf (572.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04622387 , version 1 (24-06-2024)

Identifiants

  • HAL Id : hal-04622387 , version 1

Citer

Neha Rino, Mohammed Foughali, Eugene Asarin. Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL. Joint International Conference on Quantitative Evaluation of SysTems & nternational Conference on Formal Modeling and Analysis of Timed Systems (QEST+FORMATS), Sep 2024, Calgary, Canada. ⟨hal-04622387⟩
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More