Christian Dehnert

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 12

Top Topics

Transition Probabilities

Sequence Prediction

Continuous State And Action Spaces

Top Venues

Publications

Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Model Repair Revamped: On the Automated Synthesis of Markov Chains. CoRR (2021)
Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Model Repair Revamped - - On the Automated Synthesis of Markov Chains -. From Reactive Systems to Cyber-Physical Systems (2019)
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
A storm is Coming: A Modern Probabilistic Model Checker. CoRR (2017)
Carlos E. Budde, Christian Dehnert, Ernst Moritz Hahn, Arnd Hartmanns, Sebastian Junges, Andrea Turrini
JANI: Quantitative Model and Tool Interaction. TACAS (2) (2017)
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
A Storm is Coming: A Modern Probabilistic Model Checker. CAV (2) (2017)
Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen
Bounded Model Checking for Probabilistic Programs. CoRR (2016)
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Parameter Synthesis for Markov Models: Faster Than Ever. CoRR (2016)
Nils Jansen, Christian Dehnert, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Lukas Westhofen
Bounded Model Checking for Probabilistic Programs. ATVA (2016)
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes
Parameter Synthesis for Probabilistic Systems. MBMV (2016)
Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Matthias Volk
The Probabilistic Model Checker Storm (Extended Abstract). CoRR (2016)
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen
Safety-Constrained Reinforcement Learning for MDPs. TACAS (2016)
Tim Quatmann, Christian Dehnert, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen
Parameter Synthesis for Markov Models: Faster Than Ever. ATVA (2016)
Tim Quatmann, Nils Jansen, Christian Dehnert, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker
Counterexamples for Expected Rewards. FM (2015)
Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu, Joost-Pieter Katoen
Safety-Constrained Reinforcement Learning for MDPs. CoRR (2015)
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. CAV (1) (2015)
Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. SFM (2014)
Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen
Fast Debugging of PRISM Models. ATVA (2014)
Christian Dehnert, Joost-Pieter Katoen, David Parker
SMT-Based Bisimulation Minimisation of Markov Models. VMCAI (2013)
Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen
On Abstraction of Probabilistic Systems. ROCKS (2012)