Hasil Pencarian - Kim Guldstrand Larsen
- Menampilkan 1 - 6 hasil dari 6
-
1
Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures oleh Louise Foshammer, Kim Guldstrand Larsen, Anders Mariegaard
Diterbitkan 2016-07-01
Artikel -
2
A Faster-Than Relation for Semi-Markov Decision Processes oleh Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen
Diterbitkan 2020-01-01
Artikel -
3
Reasoning About Bounds in Weighted Transition Systems oleh Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen
Diterbitkan 2018-11-01
Artikel -
4
Distributed Parametric and Statistical Model Checking oleh Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikučionis, Axel Legay
Diterbitkan 2011-10-01
Artikel -
5
Stubborn Set Reduction for Two-Player Reachability Games oleh Frederik Meyer Bønneland, Peter Gjøl Jensen, Kim Guldstrand Larsen, Marco Muñiz, Jiří Srba
Diterbitkan 2021-03-01
Artikel -
6