Quantitative Analysis of Interval Markov Chains
| Origin | Files produced by the author(s) |
|---|
Book Sections
Year : 2022
Benoît Delahaye : Connect in order to contact the contributor
https://hal.science/hal-03536947
Submitted on : Tuesday, February 1, 2022-9:49:15 AM
Last modification on : Tuesday, August 27, 2024-12:53:55 PM
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⟩
Collections
50
View
113
Download