Showing 1 - 9 results of 9 for search 'Hahn, E', query time: 0.02s
Refine Results
-
1
-
2
Computing Cumulative Rewards using Fast Adaptive Uniformisation by Dannenberg, F, Hahn, E, Kwiatkowska, M
Published 2013Conference item -
3
INFAMY: An Infinite−State Markov Model Checker by Hahn, E, Hermanns, H, Wachter, B, Zhang, L
Published 2009Conference item -
4
PARAM: A Model Checker for Parametric Markov Models by Hahn, E, Hermanns, H, Wachter, B, Zhang, L
Published 2010Conference item -
5
PASS: Abstraction Refinement for Infinite Probabilistic Models by Hahn, E, Hermanns, H, Wachter, B, Zhang, L
Published 2010Conference item -
6
Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains by Hahn, E, Hermanns, H, Wachter, B, Zhang, L
Published 2009Journal article -
7
Multi-objective robust strategy synthesis for Interval Markov decision processes by Hahn, E, Hashemi, V, Hermanns, H, Lahijanian, M, Turrini, A
Published 2017Conference item -
8
-
9