Abstract
| Original language | Undefined |
|---|---|
| Title of host publication | 18th International Conference on Concurrency Theory (CONCUR) |
| Place of Publication | London |
| Publisher | Springer |
| Pages | 412-427 |
| Number of pages | 16 |
| ISBN (Print) | 978-3-540-74406-1 |
| DOIs | |
| Publication status | Published - Sep 2007 |
| Event | 18th International Conference on Concurrency Theory, CONCUR 2007 - Lisbon, Portugal Duration: 3 Sep 2007 → 8 Sep 2007 Conference number: 18 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer Verlag |
| Number | Supplement |
| Volume | 4703 |
Conference
| Conference | 18th International Conference on Concurrency Theory, CONCUR 2007 |
|---|---|
| Abbreviated title | CONCUR |
| Country | Portugal |
| City | Lisbon |
| Period | 3/09/07 → 8/09/07 |
Keywords
- IR-64519
- METIS-245846
- EWI-11539
Cite this
}
Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. / Neuhausser, M.; Katoen, Joost P.
18th International Conference on Concurrency Theory (CONCUR). London : Springer, 2007. p. 412-427 10.1007/978-3-540-74407-8_28 (Lecture Notes in Computer Science; Vol. 4703, No. Supplement).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes
AU - Neuhausser, M.
AU - Katoen, Joost P.
N1 - 10.1007/978-3-540-74407-8_28
PY - 2007/9
Y1 - 2007/9
N2 - This paper introduces strong bisimulation for continuous-time Markov decision processes (CTMDPs), a stochastic model which allows for a nondeterministic choice between exponential distributions, and shows that bisimulation preserves the validity of CSL. To that end, we interpret the semantics of CSL - a stochastic variant of CTL for continuous-time Markov chains - on CTMDPs and show its measure theoretic soundness. The main challenge faced in this paper is the proof of logical preservation that is substantially based on measure theory.
AB - This paper introduces strong bisimulation for continuous-time Markov decision processes (CTMDPs), a stochastic model which allows for a nondeterministic choice between exponential distributions, and shows that bisimulation preserves the validity of CSL. To that end, we interpret the semantics of CSL - a stochastic variant of CTL for continuous-time Markov chains - on CTMDPs and show its measure theoretic soundness. The main challenge faced in this paper is the proof of logical preservation that is substantially based on measure theory.
KW - IR-64519
KW - METIS-245846
KW - EWI-11539
U2 - 10.1007/978-3-540-74407-8_28
DO - 10.1007/978-3-540-74407-8_28
M3 - Conference contribution
SN - 978-3-540-74406-1
T3 - Lecture Notes in Computer Science
SP - 412
EP - 427
BT - 18th International Conference on Concurrency Theory (CONCUR)
PB - Springer
CY - London
ER -