Hensel, Christian

1. The Probabilistic Model Checker Storm
   2020/02/17 by Hensel, Christian, Junges, Sebastian, Katoen, Joost-Pieter +2 · 29 citations
   #FOS: Computer and information sciences #Software Engineering (cs.SE)
2. Parameter Synthesis for Markov Models: Covering the Parameter Space
   2019/03/16 by Sebastian Junges, Erika Ábrahám, Junges, Sebastian +11 · 4 citations
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Counterexample-Driven Synthesis for Probabilistic Program Sketches
   2019/04/28 by Češka, Milan, Hensel, Christian, Junges, Sebastian +1 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE)