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/ReportBookScientific

Original languageEnglish
Place of PublicationEnschede
PublisherCentre for Telematics and Information Technology (CTIT)
Publication statusPublished - Oct 2003
Externally publishedYes

Publication series

NameCTIT technical report series

Keywords

  • IR-63055
  • EWI-5805

Cite this

Baier, C., Haverkort, B. R. H. M., Hermanns, H., & Katoen, J. P. (2003). An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes. (CTIT technical report series). Enschede: Centre for Telematics and Information Technology (CTIT).
Baier, C ; Haverkort, Boudewijn R.H.M. ; Hermanns, H. ; Katoen, Joost P. / An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes. Enschede : Centre for Telematics and Information Technology (CTIT), 2003. (CTIT technical report series).
@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 = "10",
language = "English",
series = "CTIT technical report series",
publisher = "Centre for Telematics and Information Technology (CTIT)",

}

Baier, C, Haverkort, BRHM, Hermanns, H & Katoen, JP 2003, An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes. CTIT technical report series, Centre for Telematics and Information Technology (CTIT), Enschede.

An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes. / Baier, C; Haverkort, Boudewijn R.H.M.; Hermanns, H.; Katoen, Joost P.

Enschede : Centre for Telematics and Information Technology (CTIT), 2003. (CTIT technical report series).

Research output: Book/ReportBookScientific

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 -

Baier C, Haverkort BRHM, Hermanns H, Katoen JP. An efficient algorithm tocompute the minimal and maximal probabilities for timed reachability incontinuous-time Markov decision processes. Enschede: Centre for Telematics and Information Technology (CTIT), 2003. (CTIT technical report series).