Mikkel Hansen

According to our database, Mikkel Hansen authored at least 6 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Model Checking Constrained Markov Reward Models with Uncertainties.

Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

2018

Reasoning About Bounds in Weighted Transition Systems.

Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen

Log. Methods Comput. Sci., 2018

On the Verification of Weighted Kripke Structures Under Uncertainty.

Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

2017

Reasoning About Bounds in Weighted Transition Systems.

Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue

CoRR, 2017

2016

A Complete Approximation Theory for Weighted Transition Systems.

Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015

Parametric Verification of Weighted Systems.

Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian Trier Ringsmose, Kim Guldstrand Larsen, Radu Mardare

Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015