Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes

Martin R. Neuhäußer, Lijun Zhang

Research output: Contribution to journal › Conference article › Research › peer-review

Original language	English
Book series	Sixth International Conference on the Quantitative Evaluation of Systems
ISSN	0302-9743
Publication status	Published - 2010
Event	7th International Conference on Quantitative Evaluation of Systems - Williamsburg, United States Duration: 15 Sept 2010 → 18 Sept 2010 Conference number: 7 http://www.qest.org/qest2010/

Conference	7th International Conference on Quantitative Evaluation of Systems
Number	7
Country/Territory	United States
City	Williamsburg
Period	15/09/2010 → 18/09/2010
Internet address	http://www.qest.org/qest2010/

OpenUrl availability

@inproceedings{3bfff7ba2b004b4b98c49742637efd28,

title = "Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes",

author = "Neuh{\"a}u{\ss}er, \{Martin R.\} and Lijun Zhang",

year = "2010",

language = "English",

journal = "Sixth International Conference on the Quantitative Evaluation of Systems",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "7th International Conference on Quantitative Evaluation of Systems, QEST'10 ; Conference date: 15-09-2010 Through 18-09-2010",

url = "http://www.qest.org/qest2010/",

}

TY - GEN

T1 - Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes

AU - Neuhäußer, Martin R.

AU - Zhang, Lijun

N1 - Conference code: 7

PY - 2010

Y1 - 2010

M3 - Conference article

SN - 0302-9743

JO - Sixth International Conference on the Quantitative Evaluation of Systems

JF - Sixth International Conference on the Quantitative Evaluation of Systems

T2 - 7th International Conference on Quantitative Evaluation of Systems

Y2 - 15 September 2010 through 18 September 2010

ER -