Quantitative Analysis of Interval Markov Chains
Domaines
Théorie et langage formel [cs.FL]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Chapitre D'ouvrage
Année : 2022
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 27 août 2024-12:53:55
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⟩
Collections
51
Consultations
122
Téléchargements