{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:12:22Z","timestamp":1725563542415},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642153747"},{"type":"electronic","value":"9783642153754"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15375-4_15","type":"book-chapter","created":{"date-parts":[[2010,8,20]],"date-time":"2010-08-20T14:04:18Z","timestamp":1282313058000},"page":"207-221","source":"Crossref","is-referenced-by-count":10,"title":["Stochastic Real-Time Games with Qualitative Timed Automata Objectives"],"prefix":"10.1007","author":[{"given":"Tom\u00e1\u0161","family":"Br\u00e1zdil","sequence":"first","affiliation":[]},{"given":"Jan","family":"Kr\u010d\u00e1l","sequence":"additional","affiliation":[]},{"given":"Jan","family":"K\u0159et\u00ednsk\u00fd","sequence":"additional","affiliation":[]},{"given":"Anton\u00edn","family":"Ku\u010dera","sequence":"additional","affiliation":[]},{"given":"Vojt\u011bch","family":"\u0158eh\u00e1k","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/3-540-54233-7_128","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"1991","unstructured":"Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking for probabilistic real-time systems. In: Leach Albert, J., Monien, B., Rodr\u00edguez-Artalejo, M. (eds.) ICALP 1991. LNCS, vol.\u00a0510, pp. 115\u2013136. Springer, Heidelberg (1991)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/BFb0031986","volume-title":"Real-Time: Theory in Practice","author":"R. Alur","year":"1992","unstructured":"Alur, R., Courcoubetis, C., Dill, D.L.: Verifying automata specifications of probabilistic real-time systems. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 28\u201344. Springer, Heidelberg (1992)"},{"issue":"2","key":"15_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. TCS\u00a0126(2), 183\u2013235 (1994)","journal-title":"TCS"},{"key":"15_CR4","first-page":"217","volume-title":"Proceedings of LICS 2008","author":"C. Baier","year":"2008","unstructured":"Baier, C., Bertrand, N., Bouyer, P., Brihaye, T., Gr\u00f6\u00dfer, M.: Almost-sure model checking of infinite paths in one-clock timed automata. In: Proceedings of LICS 2008, pp. 217\u2013226. IEEE, Los Alamitos (2008)"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2005.07.022","volume":"345","author":"C. Baier","year":"2005","unstructured":"Baier, C., Hermanns, H., Katoen, J.-P., Haverkort, B.R.: Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. TCS\u00a0345, 2\u201326 (2005)","journal-title":"TCS"},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/QEST.2008.19","volume-title":"Proceedings of 5th Int. Conf. on Quantitative Evaluation of Systems (QEST 2008)","author":"N. Bertrand","year":"2008","unstructured":"Bertrand, N., Bouyer, P., Brihaye, T., Markey, N.: Quantitative model-checking of one-clock timed automata under probabilistic semantics. In: Proceedings of 5th Int. Conf. on Quantitative Evaluation of Systems (QEST 2008), pp. 55\u201364. IEEE, Los Alamitos (2008)"},{"key":"15_CR7","volume-title":"Dynamic Programming and Optimal Control","author":"D.P. Bertsekas","year":"2007","unstructured":"Bertsekas, D.P.: Dynamic Programming and Optimal Control. Athena Scientific, Belmont (2007)"},{"key":"15_CR8","volume-title":"Probability and Measure","author":"P. Billingsley","year":"1995","unstructured":"Billingsley, P.: Probability and Measure. Wiley, Chichester (1995)"},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-3-642-02930-1_9","volume-title":"Automata, Languages and Programming","author":"P. Bouyer","year":"2009","unstructured":"Bouyer, P., Forejt, V.: Reachability in stochastic timed games. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009. LNCS, vol.\u00a05556, pp. 103\u2013114. Springer, Heidelberg (2009)"},{"key":"15_CR10","unstructured":"Br\u00e1zdil, T., Forejt, V., Kr\u010d\u00e1l, J., K\u0159et\u00ednsk\u00fd, J., Ku\u010dera, A.: Continuous-time stochastic games with time-bounded reachability. In: Proceedings of FST&TCS 2009. LIPIcs, vol.\u00a04, pp. 61\u201372. Schloss Dagstuhl (2009)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Br\u00e1zdil, T., Kr\u010d\u00e1l, J., K\u0159et\u00ednsk\u00fd, J., Ku\u010dera, A., \u0158eh\u00e1k, V.: Stochastic real-time games with qualitative timed automata objectives. Technical report FIMU-RS-2010-05, Faculty of Informatics, Masaryk University (2010)","DOI":"10.1007\/978-3-642-15375-4_15"},{"key":"15_CR12","first-page":"309","volume-title":"Proceedings of LICS 2009","author":"T. Chen","year":"2009","unstructured":"Chen, T., Han, T., Katoen, J.-P., Mereacre, A.: Quantitative model checking of continuous-time Markov chains against timed automata specifications. In: Proceedings of LICS 2009, pp. 309\u2013318. IEEE, Los Alamitos (2009)"},{"issue":"3","key":"15_CR13","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1080\/15326348708807064","volume":"3","author":"P.J. Haas","year":"1987","unstructured":"Haas, P.J., Shedler, G.S.: Regenerative generalized semi-Markov processes. Stochastic Models\u00a03(3), 409\u2013438 (1987)","journal-title":"Stochastic Models"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s001820050071","volume":"27","author":"A. Maitra","year":"1998","unstructured":"Maitra, A., Sudderth, W.: Finitely additive stochastic games with Borel measurable payoffs. Int. Jour. of Game Theory\u00a027, 257\u2013267 (1998)","journal-title":"Int. Jour. of Game Theory"},{"issue":"4","key":"15_CR15","doi-asserted-by":"publisher","first-page":"1565","DOI":"10.2307\/2586667","volume":"63","author":"D.A. Martin","year":"1998","unstructured":"Martin, D.A.: The determinacy of Blackwell games. Journal of Symbolic Logic\u00a063(4), 1565\u20131581 (1998)","journal-title":"Journal of Symbolic Logic"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-642-00596-1_26","volume-title":"Foundations of Software Science and Computational Structures","author":"M. Neuh\u00e4u\u00dfer","year":"2009","unstructured":"Neuh\u00e4u\u00dfer, M., Stoelinga, M., Katoen, J.-P.: Delayed nondeterminism in continuous-time Markov decision processes. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol.\u00a05504, pp. 364\u2013379. Springer, Heidelberg (2009)"},{"key":"15_CR17","volume-title":"Markov Chains","author":"J.R. Norris","year":"1998","unstructured":"Norris, J.R.: Markov Chains. Cambridge University Press, Cambridge (1998)"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Rabe, M., Schewe, S.: Optimal time-abstract schedulers for CTMDPs and Markov games. In: Eighth Workshop on Quantitative Aspects of Programming Languages (2010)","DOI":"10.4204\/EPTCS.28.10"},{"key":"15_CR19","volume-title":"Stochastic Processes","author":"S.M. Ross","year":"1996","unstructured":"Ross, S.M.: Stochastic Processes. Wiley, Chichester (1996)"},{"key":"15_CR20","doi-asserted-by":"publisher","first-page":"836","DOI":"10.2307\/1426662","volume":"10","author":"R. Schassberger","year":"1978","unstructured":"Schassberger, R.: Insensitivity of steady-state distributions of generalized semi-Markov processes. Advances in Applied Probability\u00a010, 836\u2013851 (1978)","journal-title":"Advances in Applied Probability"},{"issue":"4","key":"15_CR21","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1287\/moor.5.4.494","volume":"5","author":"W. Whitt","year":"1980","unstructured":"Whitt, W.: Continuity of generalized semi-Markov processes. Mathematics of Operations Research\u00a05(4), 494\u2013501 (1980)","journal-title":"Mathematics of Operations Research"}],"container-title":["Lecture Notes in Computer Science","CONCUR 2010 - Concurrency Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15375-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T17:18:45Z","timestamp":1558286325000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15375-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153747","9783642153754"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15375-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}