Obserwuj
Ernst Moritz Hahn
Ernst Moritz Hahn
University of Twente
Zweryfikowany adres z utwente.nl
Tytuł
Cytowane przez
Cytowane przez
Rok
The ins and outs of the probabilistic model checker MRMC
JP Katoen, IS Zapreev, EM Hahn, H Hermanns, DN Jansen
Performance evaluation 68 (2), 90-104, 2011
4642011
Probabilistic reachability for parametric Markov models
EM Hahn, H Hermanns, L Zhang
International Journal on Software Tools for Technology Transfer 13 (1), 3-19, 2011
2672011
A compositional modelling and analysis framework for stochastic hybrid systems
EM Hahn, A Hartmanns, H Hermanns, JP Katoen
Formal Methods in System Design 43 (2), 191-232, 2013
1862013
PARAM: A model checker for parametric Markov models
EM Hahn, H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 660-664, 2010
1812010
Omega-regular objectives in model-free reinforcement learning
EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak
International Conference on Tools and Algorithms for the Construction and …, 2019
1752019
Jani: Quantitative model and tool interaction
CE Budde, C Dehnert, EM Hahn, A Hartmanns, S Junges, A Turrini
International Conference on Tools and Algorithms for the Construction and …, 2017
1412017
IscasMC: A web-based probabilistic model checker
EM Hahn, Y Li, S Schewe, A Turrini, L Zhang
International Symposium on Formal Methods, 312-317, 2014
1282014
Synthesis for PCTL in parametric Markov decision processes
EM Hahn, T Han, L Zhang
NASA Formal Methods Symposium, 146-161, 2011
1232011
Measurability and safety verification for stochastic hybrid systems
M Fränzle, EM Hahn, H Hermanns, N Wolovick, L Zhang
Proceedings of the 14th international conference on Hybrid systems …, 2011
1182011
Safety verification for probabilistic hybrid systems
L Zhang, Z She, S Ratschan, H Hermanns, EM Hahn
European Journal of Control 18 (6), 572-587, 2012
1172012
Model repair for Markov decision processes
T Chen, EM Hahn, T Han, M Kwiatkowska, H Qu, L Zhang
2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013
942013
The 2019 comparison of tools for the analysis of quantitative formal models
EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
712019
Lazy Probabilistic Model Checking without Determinisation
EM Hahn, G Li, S Schewe, A Turrini, L Zhang
LIPIcs-Leibniz International Proceedings in Informatics 42, 2015
642015
PASS: Abstraction refinement for infinite probabilistic models
EM Hahn, H Hermanns, B Wachter, L Zhang
International Conference on Tools and Algorithms for the Construction and …, 2010
602010
Model checking algorithms for CTMDPs
P Buchholz, EM Hahn, H Hermanns, L Zhang
International Conference on Computer Aided Verification, 225-242, 2011
532011
QPMC: a model checker for quantum programs and protocols
Y Feng, EM Hahn, A Turrini, L Zhang
International Symposium on Formal Methods, 265-272, 2015
452015
INFAMY: An infinite-state Markov model checker
EM Hahn, H Hermanns, B Wachter, L Zhang
International Conference on Computer Aided Verification, 641-647, 2009
432009
Towards a unified model-based safety assessment
T Peikenkamp, A Cavallo, L Valacca, E Böde, M Pretzer, EM Hahn
International Conference on Computer Safety, Reliability, and Security, 275-288, 2006
412006
Good-for-MDPs automata for probabilistic analysis and reinforcement learning
EM Hahn, M Perez, S Schewe, F Somenzi, A Trivedi, D Wojtczak
International Conference on Tools and Algorithms for the Construction and …, 2020
402020
Time-bounded model checking of infinite-state continuous-time Markov chains
L Zhang, H Hermanns, EM Hahn, B Wachter
Application of Concurrency to System Design, 2008. ACSD 2008. 8th …, 2008
402008
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20