An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes

C Baier, Boudewijn R.H.M. Haverkort, H. Hermanns, Joost P. Katoen

Research output: Book/Report › Book › Scientific

Original language	English
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Publication status	Published - Oct 2003
Externally published	Yes

Name	CTIT technical report series

Keywords

@book{427696d781284d3b800b154d48d48717,

title = "An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes",

keywords = "IR-63055, EWI-5805",

author = "C Baier and Haverkort, {Boudewijn R.H.M.} and H. Hermanns and Katoen, {Joost P.}",

note = "Imported from CTIT",

year = "2003",

month = oct,

language = "English",

series = "CTIT technical report series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

}

TY - BOOK

T1 - An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes

AU - Baier, C

AU - Haverkort, Boudewijn R.H.M.

AU - Hermanns, H.

AU - Katoen, Joost P.

N1 - Imported from CTIT

PY - 2003/10

Y1 - 2003/10

KW - IR-63055

KW - EWI-5805

M3 - Book

T3 - CTIT technical report series

BT - An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -