Skip to Main content Skip to Navigation
Conference papers

Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models

Serge Haddad 1, 2 Susanna Donatelli 3
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
Inria Saclay - Ile de France, LSV - Laboratoire Spécification et Vérification
2 ENS Paris Saclay - Ecole Normale Supérieure Paris-Saclay
3 Dipartimento di Informatica [Torino]
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-03150821
Contributor : Stefan Haar <>
Submitted on : Wednesday, February 24, 2021 - 10:35:42 AM
Last modification on : Tuesday, March 30, 2021 - 12:12:02 PM

Identifiers

  • HAL Id : hal-03150821, version 1

Collections

CNRS | INRIA | ENS-CACHAN | ENS-PARIS-SACLAY

Citation

Serge Haddad, Susanna Donatelli. Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models. Proceedings of the 14th International Conference on Language and Automata Theory and Applications (LATA'20), Sep 2021, Milan, Italy. ⟨hal-03150821⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

18

 

Contact                    Legal Notice                    Personal Data