Efficiently Computable Distance-Based Robustness for a Practical Fragment of STL - Institut de Recherche en Informatique Fondamentale
Conference Papers Year : 2024

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

Domains

Formal Languages and Automata Theory [cs.FL]
Fichier principal
Vignette du fichier
paper.pdf (572.61 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Mohammed Foughali  : Connect in order to contact the contributor

https://hal.science/hal-04622387

Submitted on : Monday, June 24, 2024-3:59:38 PM

Last modification on : Saturday, June 29, 2024-3:17:34 AM

Long-term archiving on : Thursday, September 26, 2024-8:16:18 AM

Download

Dates and versions

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

Identifiers

  • HAL Id : hal-04622387 , version 1

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UP-SCIENCES IRIF
160 View
106 Download

Share

More