Quantitative Analysis of Interval Markov Chains - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2022

Quantitative Analysis of Interval Markov Chains

Domaines

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

Benoît Delahaye  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03536947

Soumis le : mardi 1 février 2022-09:49:15

Dernière modification le : mardi 6 février 2024-09:50:26

Télécharger pour visualiser

Dates et versions

hal-03536947 , version 1 (01-02-2022)

Identifiants

Citer

Giovanni Bacci, Benoît Delahaye, Kim Larsen, Anders Mariegaard. Quantitative Analysis of Interval Markov Chains. Model Checking, Synthesis, and Learning, 13030, Springer International Publishing, pp.57-77, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-91384-7_4⟩. ⟨hal-03536947⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM CNRS INRIA EC-NANTES UNAM LS2N LS2N-AELOS NANTES-UNIVERSITE LS2N-VELO
36 Consultations
72 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More