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

Research output: Contribution to conference (unpublished)Paper

Colleges, School and Institutes

Details

Original languageEnglish
Pages23-67
Number of pages45
Publication statusPublished - 1 Jan 2003

Keywords

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