Publications

Publications for Christian Dehnert

2019

[bibtex]
Milan Ceska, Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen. Counterexample-Driven Synthesis for Probabilistic Program Sketches. Proc. of FM, , 2019.
DOI
[bibtex]
E. Moritz Hahn, Arnd Hartmanns, Christian Dehnert, Michaela Klauck, Joachim Klein, Jan Kretínský, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz. The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). TACAS 2019, Volume 11429 of LNCS, pages 69–92, Springer, 2019.
2018
Download
[bibtex]
Christian Dehnert. The Probabilistic Model Checker Storm - Symbolic Methods for Probabilistic Model Checking. Phd Thesis at RWTH Aachen University, 2018.
Show all