Christian Dehnert

Identifiers

No identifiers captured yet.

Papers (5)

1. A storm is Coming: A Modern Probabilistic Model Checker cs.SE · 2017 · author #1
2. The Probabilistic Model Checker Storm (Extended Abstract) cs.SE · 2016 · author #1
3. Bounded Model Checking for Probabilistic Programs cs.PL · 2016 · author #2
4. Parameter Synthesis for Markov Models: Faster Than Ever cs.LO · 2016 · author #2
5. Safety-Constrained Reinforcement Learning for MDPs cs.SE · 2015 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Joost-Pieter Katoen 5 shared papers
• Sebastian Junges 4 shared papers
• Nils Jansen 3 shared papers
• Matthias Volk 2 shared papers
• Benjamin Lucien Kaminski 1 shared papers
• Lukas Westhofen 1 shared papers
• Tim Quatmann 1 shared papers
• Ufuk Topcu 1 shared papers