Original language | English |
---|---|
Pages | 23-67 |
Number of pages | 45 |
Publication status | Published - 1 Jan 2003 |
Keywords
- Markov decision process
- model checking
- binary decision diagrams
- multi-terminal binary decision diagrams
- Markov chain
- performability analysis
H Hermanns, Marta Kwiatkowska, Gethin Norman, David Parker, M Siegle
Research output: Contribution to conference (unpublished) › Paper
Original language | English |
---|---|
Pages | 23-67 |
Number of pages | 45 |
Publication status | Published - 1 Jan 2003 |