Quantitative Analysis of Interval Markov Chains - Archive ouverte HAL Access content directly
Book Sections Year : 2022

Quantitative Analysis of Interval Markov Chains

Fichier principal
Vignette du fichier
draft.pdf (422.4 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
34 View
59 Download

Altmetric

Share

Gmail Facebook X LinkedIn More