On the Use of MTBDDs for Peformability Analysis and Verification of Stochastic Systems

H Hermanns, Marta Kwiatkowska, Gethin Norman, David Parker, M Siegle

Research output: Contribution to conference (unpublished)Paper

45 Citations (Scopus)
Original languageEnglish
Number of pages45
Publication statusPublished - 1 Jan 2003


  • Markov decision process
  • model checking
  • binary decision diagrams
  • multi-terminal binary decision diagrams
  • Markov chain
  • performability analysis

Cite this