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


  • IR-63055
  • EWI-5805

Cite this