Showing 1 - 3 results of 3 for search 'Larsen, KG', query time: 0.02s
Refine Results
-
1
Algorithmic minimization of uncertain continuous-time Markov chains by Cardelli, L, Grosu, R, Larsen, KG, Tribastone, M, Tschaikowski, M, Vandin, A
Published 2023Journal article -
2
Lumpability for uncertain continuous-time Markov chains by Cardelli, L, Grosu, R, Larsen, KG, Tribastone, M, Tschaikowski, M, Vandin, A
Published 2021Conference item -
3
Computing probabilistic bisimilarity distances for probabilistic automata by Bacci, G, Bacci, G, Larsen, KG, Mardare, R, Tang, Q, van Breugel, F
Published 2021Journal article