Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationTools and algorithms for the construction and analysis of systems
EditorsK Jensen, A. Podelski
Place of PublicationBerlin
PublisherSpringer
Pages61-76
ISBN (Print)3-540-21299-X
Publication statusPublished - 29 Mar 2004
Event10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004 - Barcelona, Spain
Duration: 29 Mar 20042 Apr 2004
Conference number: 10

Publication series

Name
NumberXIV
Volume2988
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004
Abbreviated titleTACAS
CountrySpain
CityBarcelona
Period29/03/042/04/04

Keywords

  • METIS-218876

Cite this

Baier, C., Haverkort, B. R. H. M., Hermanns, H., & Katoen, J. P. (2004). Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. In K. Jensen, & A. Podelski (Eds.), Tools and algorithms for the construction and analysis of systems (pp. 61-76). Berlin: Springer.
Baier, C ; Haverkort, Boudewijn R.H.M. ; Hermanns, H. ; Katoen, Joost P. / Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. Tools and algorithms for the construction and analysis of systems. editor / K Jensen ; A. Podelski. Berlin : Springer, 2004. pp. 61-76
@inproceedings{4a6cc9d758384d4ea2f8a7617c105bab,
title = "Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes",
keywords = "METIS-218876",
author = "C Baier and Haverkort, {Boudewijn R.H.M.} and H. Hermanns and Katoen, {Joost P.}",
year = "2004",
month = "3",
day = "29",
language = "English",
isbn = "3-540-21299-X",
publisher = "Springer",
number = "XIV",
pages = "61--76",
editor = "K Jensen and A. Podelski",
booktitle = "Tools and algorithms for the construction and analysis of systems",

}

Baier, C, Haverkort, BRHM, Hermanns, H & Katoen, JP 2004, Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. in K Jensen & A Podelski (eds), Tools and algorithms for the construction and analysis of systems. Springer, Berlin, pp. 61-76, 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004, Barcelona, Spain, 29/03/04.

Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. / Baier, C; Haverkort, Boudewijn R.H.M.; Hermanns, H.; Katoen, Joost P.

Tools and algorithms for the construction and analysis of systems. ed. / K Jensen; A. Podelski. Berlin : Springer, 2004. p. 61-76.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

AU - Baier, C

AU - Haverkort, Boudewijn R.H.M.

AU - Hermanns, H.

AU - Katoen, Joost P.

PY - 2004/3/29

Y1 - 2004/3/29

KW - METIS-218876

M3 - Conference contribution

SN - 3-540-21299-X

SP - 61

EP - 76

BT - Tools and algorithms for the construction and analysis of systems

A2 - Jensen, K

A2 - Podelski, A.

PB - Springer

CY - Berlin

ER -

Baier C, Haverkort BRHM, Hermanns H, Katoen JP. Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. In Jensen K, Podelski A, editors, Tools and algorithms for the construction and analysis of systems. Berlin: Springer. 2004. p. 61-76