Joost-Pieter Katoen will give an invited talk on “The Probabilistic Model Checking Landscape” at LICS 2016 in New York City, early July 2016. The accompanying paper can be found here.
Joost-Pieter Katoen will give an invited talk on “The Probabilistic Model Checking Landscape” at LICS 2016 in New York City, early July 2016. The accompanying paper can be found here.