Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL - Institut de Recherche en Informatique Fondamentale
Communication Dans Un Congrès Année : 2024

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

Domaines

Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
paper.pdf (572.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Mohammed Foughali  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04622387

Soumis le : lundi 24 juin 2024-15:59:38

Dernière modification le : samedi 29 juin 2024-03:17:34

Archivage à long terme le : jeudi 26 septembre 2024-08:16:18

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UP-SCIENCES IRIF
301 Consultations
172 Téléchargements

Partager

More