Mikkel Hansen

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 6

Top Topics

Transition Systems

Top Venues

Publications

Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen
Model Checking Constrained Markov Reward Models with Uncertainties. QEST (2019)
Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen
On the Verification of Weighted Kripke Structures Under Uncertainty. QEST (2018)
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen
Reasoning About Bounds in Weighted Transition Systems. Log. Methods Comput. Sci. 14 (4) (2018)
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue
Reasoning About Bounds in Weighted Transition Systems. CoRR (2017)
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue
A Complete Approximation Theory for Weighted Transition Systems. SETTA (2016)
Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian Trier Ringsmose, Kim Guldstrand Larsen, Radu Mardare
Parametric Verification of Weighted Systems. SynCoP (2015)