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

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

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

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

Computer Science

Research output: Contribution to conference (unpublished) › Paper

45 Citations (Scopus)

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

Cite this

@conference{993431bf0ece429d8d2c52ea6aa2c690,

title = "On the Use of MTBDDs for Peformability Analysis and Verification of Stochastic Systems",

keywords = "Markov decision process, model checking, binary decision diagrams, multi-terminal binary decision diagrams, Markov chain, performability analysis",

author = "H Hermanns and Marta Kwiatkowska and Gethin Norman and David Parker and M Siegle",

year = "2003",

month = jan,

day = "1",

language = "English",

pages = "23--67",

}

TY - CONF

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

AU - Hermanns, H

AU - Kwiatkowska, Marta

AU - Norman, Gethin

AU - Parker, David

AU - Siegle, M

PY - 2003/1/1

Y1 - 2003/1/1

KW - Markov decision process

KW - model checking

KW - binary decision diagrams

KW - multi-terminal binary decision diagrams

KW - Markov chain

KW - performability analysis

M3 - Paper

SP - 23

EP - 67

ER -