{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T03:24:34Z","timestamp":1777519474766,"version":"3.51.4"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319681665","type":"print"},{"value":"9783319681672","type":"electronic"}],"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-68167-2_27","type":"book-chapter","created":{"date-parts":[[2017,9,25]],"date-time":"2017-09-25T23:50:53Z","timestamp":1506383453000},"page":"417-434","source":"Crossref","is-referenced-by-count":5,"title":["Synthesis of Optimal Resilient Control Strategies"],"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":"L\u2019ubo\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,9,27]]},"reference":[{"key":"27_CR1","volume-title":"Constrained Markov Decision Processes","author":"E Altman","year":"1999","unstructured":"Altman, E.: Constrained Markov Decision Processes. Chapman and Hall, Boca Raton (1999)"},{"key":"27_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139026772","volume-title":"Resilience Engineering: Models and Analysis. Resilience Engineering: Models and Analysis","author":"N Attoh-Okine","year":"2016","unstructured":"Attoh-Okine, N.: Resilience Engineering: Models and Analysis. Resilience Engineering: Models and Analysis. Cambridge University Press, Cambridge (2016)"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-07734-5_2","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"C Baier","year":"2014","unstructured":"Baier, C., Dubslaff, C., Kl\u00fcppelholz, S., Leuschner, L.: Energy-utility analysis for resilient systems using probabilistic model checking. In: Ciardo, G., Kindler, E. (eds.) PETRI NETS 2014. LNCS, vol. 8489, pp. 20\u201339. Springer, Cham (2014). doi: 10.1007\/978-3-319-07734-5_2"},{"key":"27_CR4","doi-asserted-by":"crossref","unstructured":"Baier, C., Dubslaff, C., Koren\u010diak, \u013d., Ku\u010dera, A., \u0158eh\u00e1k, V.: Synthesis of optimal resilient control strategies. CoRR, abs\/1707.03223 (2017)","DOI":"10.1007\/978-3-319-68167-2_27"},{"key":"27_CR5","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press (2008)"},{"issue":"3","key":"27_CR6","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/s00236-013-0191-5","volume":"51","author":"R Bloem","year":"2014","unstructured":"Bloem, R., Chatterjee, K., Greimel, K., Henzinger, T.A., Hofferek, G., Jobstmann, B., K\u00f6nighofer, B., K\u00f6nighofer, R.: Synthesizing robust systems. Acta Inf. 51(3), 193\u2013220 (2014)","journal-title":"Acta Inf."},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Br\u00e1zdil, T., Bro\u017eek, V., Chatterjee, K., Forejt, V., Ku\u010dera, A.: Markov decision processes with multiple long-run average objectives. LMCS 10(1) (2014)","DOI":"10.2168\/LMCS-10(1:13)2014"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Camara, J., de Lemos, R.: Evaluation of resilience in self-adaptive systems using probabilistic model-checking. In: SEAMS, pp. 53\u201362 (2012)","DOI":"10.1109\/SEAMS.2012.6224391"},{"key":"27_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/978-3-540-77050-3_39","volume-title":"FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science","author":"K Chatterjee","year":"2007","unstructured":"Chatterjee, K.: Markov decision processes with multiple long-run average objectives. In: Arvind, V., Prasad, S. (eds.) FSTTCS 2007. LNCS, vol. 4855, pp. 473\u2013484. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-77050-3_39"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Ehlers, R., Topcu, U.: Resilience to intermittent assumption violations in reactive synthesis. In: HSCC, pp. 203\u2013212. ACM, New York (2014)","DOI":"10.1145\/2562059.2562128"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"Etessami, K., Kwiatkowska, M., Vardi, M.Y., Yannakakis, M.: Multi-objective model checking of Markov decision processes. LMCS 4(4) (2008)","DOI":"10.2168\/LMCS-4(4:8)2008"},{"key":"27_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-642-19835-9_11","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"V Forejt","year":"2011","unstructured":"Forejt, V., Kwiatkowska, M., Norman, G., Parker, D., Qu, H.: Quantitative multi-objective verification for probabilistic systems. In: Abdulla, P.A., Leino, K.R.M. (eds.) TACAS 2011. LNCS, vol. 6605, pp. 112\u2013127. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-19835-9_11"},{"key":"27_CR13","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, Hobokon (2000)"},{"issue":"2","key":"27_CR14","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/s10703-009-0084-y","volume":"35","author":"A Girault","year":"2009","unstructured":"Girault, A., Rutten, \u00c9.: Automating the addition of fault tolerance with discrete controller synthesis. Form. Methods Syst. Des. 35(2), 190\u2013225 (2009)","journal-title":"Form. Methods Syst. Des."},{"key":"27_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-662-47666-6_19","volume-title":"Automata, Languages, and Programming","author":"C Haase","year":"2015","unstructured":"Haase, C., Kiefer, S.: The odds of staying on budget. In: Halld\u00f3rsson, M.M., Iwama, K., Kobayashi, N., Speckmann, B. (eds.) ICALP 2015. LNCS, vol. 9135, pp. 234\u2013246. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-47666-6_19"},{"issue":"7","key":"27_CR16","doi-asserted-by":"crossref","first-page":"605","DOI":"10.1109\/TSE.2015.2510001","volume":"42","author":"CH Huang","year":"2016","unstructured":"Huang, C.H., Peled, D.A., Schewe, S., Wang, F.: A game-theoretic foundation for the maximum software resilience against dense errors. IEEE Trans. Software Eng. 42(7), 605\u2013622 (2016)","journal-title":"IEEE Trans. Software Eng."},{"key":"27_CR17","unstructured":"Kallenberg, L.: Markov Decision Processes. Lect. Notes, University of Leiden (2011)"},{"issue":"4","key":"27_CR18","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/3092819.3092825","volume":"44","author":"F Longo","year":"2017","unstructured":"Longo, F., Ghosh, R., Naik, V.K., Rindos, A.J., Trivedi, K.S.: An approach for resiliency quantification of large scale systems. SIGMETRICS 44(4), 37\u201348 (2017)","journal-title":"SIGMETRICS"},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"Puterman, M.L.: Markov Decision Processes. Wiley (1994)","DOI":"10.1002\/9780470316887"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-68167-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T19:38:33Z","timestamp":1570131513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-68167-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319681665","9783319681672"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-68167-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}