Dehnert, Christian
- A storm is Coming: A Modern Probabilistic Model Checker
2017/02/14 by Christian Dehnert, Sebastian Junges, Dehnert, Christian +5 · 7 citations
Business, Management and Accounting · Computer Science · #Advanced Software Engineering Methodologies #Business Process Modeling and Analysis #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software System Performance and Reliability
- Safety-Constrained Reinforcement Learning for MDPs
2015/10/20 by Junges, Sebastian, Jansen, Nils, Dehnert, Christian +2 · 2 citations
#FOS: Computer and information sciences #FOS: Electrical engineering #Software Engineering (cs.SE) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Parameter Synthesis for Markov Models: Faster Than Ever
2016/02/16 by Quatmann, Tim, Dehnert, Christian, Jansen, Nils +2 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Bounded Model Checking for Probabilistic Programs
2016/05/14 by Jansen, Nils, Dehnert, Christian, Kaminski, Benjamin Lucien +2 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)