|
[ACPM22]
Naif Alasmari, Radu Calinescu, Colin Paterson and Raffaela Mirandola.
Quantitative verification with adaptive uncertainty reduction.
Journal of Systems and Software.
2022.
[Presents an approach called VERACITY for adaptive uncertainty reduction when verifying Markov chains, with a connection to PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|