Jan 19, 2017: Sean Sedwards (INRIA Rennes): Lightweight verification methods for nondeterministic probabilistic models based on statistical model checking

January 19, 2017Lightweight verification methods for nondeterministic probabilistic models based on statistical model checking
Room: HB 2CSean Sedwards (INRIA Rennes)
12:30-13:30

To be announced.