{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T05:59:31Z","timestamp":1725429571008},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/cdc.2011.6160992","type":"proceedings-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T21:18:31Z","timestamp":1331155111000},"page":"7075-7080","source":"Crossref","is-referenced-by-count":5,"title":["Reachability probabilities in Markovian Timed Automata"],"prefix":"10.1109","author":[{"given":"Taolue","family":"Chen","sequence":"first","affiliation":[]},{"given":"Tingting","family":"Han","sequence":"additional","affiliation":[]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[]},{"given":"Alexandru","family":"Mereacre","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024980623095"},{"key":"17","first-page":"209","article-title":"Time-bounded reachability probabilities in continuous-time Markov decision processes","author":"neuha?u\ufffder","year":"2010","journal-title":"QEST"},{"key":"18","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","author":"puterman","year":"1994","journal-title":"Markov Decision Processes"},{"journal-title":"Matrix-geometric Solutiions in Stochastic Models an Algorithimic Approach","year":"1981","author":"neuts","key":"15"},{"key":"16","first-page":"364","article-title":"Delayed nondeter-minism in continuous-time Markov decision processes","author":"neuha?u\ufffder","year":"2009","journal-title":"FOSSACS"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-4483-2"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00046-9"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160992"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24288-5_2"},{"journal-title":"Dynamic Programming and Optimal Control","year":"1995","author":"bertsekas","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.07.022"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-7(1:12)2011"},{"key":"7","first-page":"207","article-title":"Vojtech reha?k: Stochastic real-time games with qualitative timed automata objectives","author":"bra?zdil","year":"2010","journal-title":"Concurrency"},{"key":"6","first-page":"61","article-title":"Continuous-time stochastic games with time-bounded reachability","author":"bra?zdil","year":"2009","journal-title":"FSTTCS"},{"key":"5","first-page":"103","article-title":"Reachability in stochastic timed games","author":"bouyer","year":"2009","journal-title":"ICALP (2)"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_12"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2009.21"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1514(199711\/12)18:6<423::AID-OCA612>3.0.CO;2-5"}],"event":{"name":"2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011)","start":{"date-parts":[[2011,12,12]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2011,12,15]]}},"container-title":["IEEE Conference on Decision and Control and European Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6149620\/6159299\/06160992.pdf?arnumber=6160992","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T15:20:37Z","timestamp":1497972037000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6160992\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/cdc.2011.6160992","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}