{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:42:45Z","timestamp":1725907365457},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319663340"},{"type":"electronic","value":"9783319663357"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66335-7_12","type":"book-chapter","created":{"date-parts":[[2017,8,9]],"date-time":"2017-08-09T23:53:48Z","timestamp":1502322828000},"page":"190-206","source":"Crossref","is-referenced-by-count":3,"title":["Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms"],"prefix":"10.1007","author":[{"given":"Christel","family":"Baier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clemens","family":"Dubslaff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u013dubo\u0161","family":"Koren\u010diak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anton\u00edn","family":"Ku\u010dera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vojt\u011bch","family":"\u0158eh\u00e1k","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,11]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., Vardi, M.Y.: Parametric real-time reasoning. In: STOC, pp. 592\u2013601. ACM (1993)","DOI":"10.1145\/167088.167242"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-319-10696-0_3","volume-title":"Quantitative Evaluation of Systems","author":"EG Amparore","year":"2014","unstructured":"Amparore, E.G., Buchholz, P., Donatelli, S.: A structured solution approach for Markov regenerative processes. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 9\u201324. Springer, Cham (2014). doi: 10.1007\/978-3-319-10696-0_3"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Baier, C., Dubslaff, C., Koren\u010diak, \u013d., Ku\u010dera, A., \u0158eh\u00e1k, V.: Mean-payoff optimization in continuous-time Markov chains with parametric alarms. CoRR, abs\/1706.06486 (2017)","DOI":"10.1007\/978-3-319-66335-7_12"},{"key":"12_CR4","unstructured":"Bernardin, L., et al.: Maple 16 Programming Guide (2012)"},{"key":"12_CR5","volume-title":"Data Networks","author":"DP Bertsekas","year":"1992","unstructured":"Bertsekas, D.P., Gallager, R.G.: Data Networks, 2nd edn. Prentice-Hall International, Upper Saddle River (1992)","edition":"2"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-319-22264-6_10","volume-title":"Quantitative Evaluation of Systems","author":"T Br\u00e1zdil","year":"2015","unstructured":"Br\u00e1zdil, T., Koren\u010diak, \u013d., Kr\u010d\u00e1l, J., Novotn\u00fd, P., \u0158eh\u00e1k, V.: Optimizing performance of continuous-time stochastic systems using timeout synthesis. In: Campos, J., Haverkort, B.R. (eds.) QEST 2015. LNCS, vol. 9259, pp. 141\u2013159. Springer, Cham (2015). doi: 10.1007\/978-3-319-22264-6_10"},{"key":"12_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/978-3-642-23217-6_10","volume-title":"CONCUR 2011 \u2013 Concurrency Theory","author":"T Br\u00e1zdil","year":"2011","unstructured":"Br\u00e1zdil, T., Kr\u010d\u00e1l, J., K\u0159et\u00ednsk\u00fd, J., \u0158eh\u00e1k, V.: Fixed-delay events in generalized semi-Markov processes revisited. In: Katoen, J.-P., K\u00f6nig, B. (eds.) CONCUR 2011. LNCS, vol. 6901, pp. 140\u2013155. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-23217-6_10"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-319-12982-2_7","volume-title":"Computational Methods in Systems Biology","author":"M \u010ce\u0161ka","year":"2014","unstructured":"\u010ce\u0161ka, M., Dannenberg, F., Kwiatkowska, M., Paoletti, N.: Precise parameter synthesis for stochastic biochemical systems. In: Mendes, P., Dada, J.O., Smallbone, K. (eds.) CMSB 2014. LNCS, vol. 8859, pp. 86\u201398. Springer, Cham (2014). doi: 10.1007\/978-3-319-12982-2_7"},{"issue":"1\u20133","key":"12_CR9","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0166-5316(94)90021-3","volume":"20","author":"H Choi","year":"1994","unstructured":"Choi, H., Kulkarni, V.G., Trivedi, K.S.: Markov regenerative stochastic Petri nets. Perform. Eval. 20(1\u20133), 337\u2013357 (1994)","journal-title":"Perform. Eval."},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/BFb0055639","volume-title":"CONCUR 1998 Concurrency Theory","author":"L Alfaro","year":"1998","unstructured":"Alfaro, L.: Stochastic transition systems. In: Sangiorgi, D., Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 423\u2013438. Springer, Heidelberg (1998). doi: 10.1007\/BFb0055639"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Diciolla, M., Kim, C.H.P., Kwiatkowska, M., Mereacre, A.: Synthesising optimal timing delays for timed I\/O automata. In: EMSOFT, pp. 1\u201310. ACM (2014)","DOI":"10.1145\/2656045.2656073"},{"key":"12_CR12","volume-title":"Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets","author":"R German","year":"2000","unstructured":"German, R.: Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets. Wiley, Hoboken (2000)"},{"key":"12_CR13","volume-title":"Stochastic Petri Nets: Modelling, Stability, Simulation","author":"PJ Haas","year":"2010","unstructured":"Haas, P.J.: Stochastic Petri Nets: Modelling, Stability, Simulation. Springer, New York (2010)"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-3-642-04081-8_25","volume-title":"CONCUR 2009 - Concurrency Theory","author":"C Haase","year":"2009","unstructured":"Haase, C., Kreutzer, S., Ouaknine, J., Worrell, J.: Reachability in succinct and parametric one-counter automata. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 369\u2013383. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04081-8_25"},{"issue":"1","key":"12_CR15","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10009-010-0146-x","volume":"13","author":"EM Hahn","year":"2011","unstructured":"Hahn, E.M., Hermanns, H., Zhang, L.: Probabilistic reachability for parametric Markov models. STTT 13(1), 3\u201319 (2011)","journal-title":"STTT"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Han, T., Katoen, J.P., Mereacre, A.: Approximate parameter synthesis for probabilistic time-bounded reachability. In: RTSS, pp. 173\u2013182. IEEE (2008)","DOI":"10.1109\/RTSS.2008.19"},{"issue":"21","key":"12_CR17","doi-asserted-by":"crossref","first-page":"2162","DOI":"10.1016\/j.tcs.2011.01.012","volume":"412","author":"SK Jha","year":"2011","unstructured":"Jha, S.K., Langmead, C.J.: Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement. TCS 412(21), 2162\u20132187 (2011)","journal-title":"TCS"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-319-11439-2_14","volume-title":"Reachability Problems","author":"A Jovanovi\u0107","year":"2014","unstructured":"Jovanovi\u0107, A., Kwiatkowska, M.: Parameter synthesis for probabilistic timed automata using stochastic game abstractions. In: Ouaknine, J., Potapov, I., Worrell, J. (eds.) RP 2014. LNCS, vol. 8762, pp. 176\u2013189. Springer, Cham (2014). doi: 10.1007\/978-3-319-11439-2_14"},{"issue":"5","key":"12_CR19","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1109\/TSE.2014.2357445","volume":"41","author":"A Jovanovic","year":"2015","unstructured":"Jovanovic, A., Lime, D., Roux, O.H.: Integer parameter synthesis for real-time systems. IEEE Trans. Softw. Eng. 41(5), 445\u2013461 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"Koren\u010diak, \u013d., Ku\u010dera, A., \u0158eh\u00e1k, V.: Efficient timeout synthesis in fixed-delay CTMC using policy iteration. In: MASCOTS, pp. 367\u2013372. IEEE (2016)","DOI":"10.1109\/MASCOTS.2016.34"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Koren\u010diak, \u013d., \u0158eh\u00e1k, V., Farmadin, A.: Extension of PRISM by synthesis of optimal timeouts in fixed-delay CTMC. In: iFM, pp. 130\u2013138 (2016)","DOI":"10.1007\/978-3-319-33693-0_9"},{"issue":"1","key":"12_CR22","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0166-5316(93)90028-S","volume":"18","author":"C Lindemann","year":"1993","unstructured":"Lindemann, C.: An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models. Perform. Eval. 18(1), 79\u201395 (1993)","journal-title":"Perform. Eval."},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Martina, S., Paolieri, M., Papini, T., Vicario, E.: Performance evaluation of Fischer\u2019s protocol through steady-state analysis of Markov regenerative processes. In: MASCOTS, pp. 355\u2013360. IEEE (2016)","DOI":"10.1109\/MASCOTS.2016.72"},{"issue":"9","key":"12_CR24","doi-asserted-by":"crossref","first-page":"1745","DOI":"10.1080\/03610918.2011.615433","volume":"41","author":"DLP Minh","year":"2012","unstructured":"Minh, D.L.P., Minh, D.D.L., Nguyen, A.L.: Regenerative Markov chain Monte Carlo for any distribution. Commun. Stat.-Simul. C. 41(9), 1745\u20131760 (2012)","journal-title":"Commun. Stat.-Simul. C."},{"key":"12_CR25","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1080\/00224065.1985.11978953","volume":"17","author":"W Nelson","year":"1985","unstructured":"Nelson, W.: Weibull analysis of reliability data with few or no failures. J. Qual. Technol. 17, 140\u2013146 (1985)","journal-title":"J. Qual. Technol."},{"key":"12_CR26","volume-title":"Markov Chains","author":"JR Norris","year":"1998","unstructured":"Norris, J.R.: Markov Chains. Cambridge University Press, Cambridge (1998)"},{"key":"12_CR27","doi-asserted-by":"crossref","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes","author":"ML Puterman","year":"1994","unstructured":"Puterman, M.L.: Markov Decision Processes. Wiley, Hoboken (1994)"},{"key":"12_CR28","doi-asserted-by":"crossref","unstructured":"Qiu, Q., Wu, Q., Pedram, M.: Stochastic modeling of a power-managed system: construction and optimization. In: ISLPED, pp. 194\u2013199. ACM Press (1999)","DOI":"10.1145\/313817.313923"},{"key":"12_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-540-85778-5_20","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"L-M Traonouez","year":"2008","unstructured":"Traonouez, L.-M., Lime, D., Roux, O.H.: Parametric model-checking of time Petri nets with stopwatches using the state-class graph. In: Cassez, F., Jard, C. (eds.) FORMATS 2008. LNCS, vol. 5215, pp. 280\u2013294. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-85778-5_20"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66335-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T02:38:55Z","timestamp":1569983935000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66335-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319663340","9783319663357"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66335-7_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}