Research Output 2013 2017

  • 7 Conference contribution
  • 1 Article
Filter
Article
2015
3 Citations

Sound statistical model checking for MDP using partial order and confluence reduction

Hartmanns, A. & Timmer, M. Aug 2015 17, 4, p. 429-456 28 p.

Research output: Scientific - peer-reviewArticle

Model checking
Random processes
Explosions
Statistical methods
Simulators