{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T12:40:11Z","timestamp":1756298411679,"version":"3.44.0"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032009418","type":"print"},{"value":"9783032009425","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T00:00:00Z","timestamp":1756339200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T00:00:00Z","timestamp":1756339200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-00942-5_6","type":"book-chapter","created":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T12:03:29Z","timestamp":1756296209000},"page":"105-123","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Backward Responsibility in\u00a0Transition Systems Beyond Safety"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5321-9343","authenticated-orcid":false,"given":"Christel","family":"Baier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rio","family":"Klatt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1724-2586","authenticated-orcid":false,"given":"Sascha","family":"Kl\u00fcppelholz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7047-3813","authenticated-orcid":false,"given":"Johannes","family":"Lehmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,28]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Akkoyunlu, E.A., Ekanadham, K., Huber, R.V.: Some constraints and tradeoffs in the design of network communications. In: Proceedings of the Fifth ACM Symposium on Operating Systems Principles, pp. 67\u201374 (1975)","DOI":"10.1145\/800213.806523"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1613\/JAIR.5229","volume":"58","author":"G Aleksandrowicz","year":"2017","unstructured":"Aleksandrowicz, G., Chockler, H., Halpern, J.Y., Ivrii, A.: The computational complexity of structure-based causality. J. Artif. Intell. Res. 58, 431\u2013451 (2017). https:\/\/doi.org\/10.1613\/JAIR.5229","journal-title":"J. Artif. Intell. Res."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Algaba, E., Fragnelli, V., S\u00e1nchez-Soriano, J.: Handbook of the Shapley Value. CRC Press (2019)","DOI":"10.1201\/9781351241410"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Arora, S., Barak, B.: Computational Complexity: A Modern Approach. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511804090"},{"key":"6_CR5","doi-asserted-by":"publisher","unstructured":"Baier, C., van\u00a0den Bossche, R., Kl\u00fcppelholz, S., Lehmann, J., Piribauer, J.: Backward responsibility in transition systems using general power indices. In: Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, 20\u201327 February 2024, Vancouver, Canada, pp. 20320\u201320327. AAAI Press (2024). https:\/\/doi.org\/10.1609\/AAAI.V38I18.30013","DOI":"10.1609\/AAAI.V38I18.30013"},{"key":"6_CR6","doi-asserted-by":"publisher","unstructured":"Baier, C., et al.: From verification to causality-based explications (invited talk). In: 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, 12\u201316 July 2021, Glasgow, Scotland (Virtual Conference). LIPIcs, vol.\u00a0198, pp. 1:1\u20131:20. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2021). https:\/\/doi.org\/10.4230\/LIPICS.ICALP.2021.1","DOI":"10.4230\/LIPICS.ICALP.2021.1"},{"key":"6_CR7","doi-asserted-by":"publisher","unstructured":"Baier, C., Funke, F., Majumdar, R.: A game-theoretic account of responsibility allocation. In: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event\/Montreal, Canada, 19\u201327 August 2021, pp. 1773\u20131779. ijcai.org (2021). https:\/\/doi.org\/10.24963\/IJCAI.2021\/244","DOI":"10.24963\/IJCAI.2021\/244"},{"key":"6_CR8","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)"},{"key":"6_CR9","unstructured":"Baier, C., Klatt, R., Kl\u00fcppelholz, S., Lehmann, J.: Backward responsibility in transition systems beyond safety (2025). https:\/\/arxiv.org\/abs\/2506.05192"},{"key":"6_CR10","doi-asserted-by":"publisher","unstructured":"Baier, C., Kl\u00fcppelholz, S., Lehmann, J.: Responsibility in actor-based systems. In: Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday, pp. 44\u201369. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-85134-6_3","DOI":"10.1007\/978-3-031-85134-6_3"},{"key":"6_CR11","first-page":"317","volume":"19","author":"JF Banzhaf III","year":"1964","unstructured":"Banzhaf, J.F., III.: Weighted voting doesn\u2019t work: a mathematical analysis. Rutgers L. Rev. 19, 317 (1964)","journal-title":"Rutgers L. Rev."},{"key":"6_CR12","doi-asserted-by":"publisher","unstructured":"Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.J.: Explaining counterexamples using causality. Formal Methods Syst. Des. 40(1), 20\u201340 (2012). https:\/\/doi.org\/10.1007\/S10703-011-0132-2","DOI":"10.1007\/S10703-011-0132-2"},{"key":"6_CR13","doi-asserted-by":"publisher","unstructured":"Caltais, G., Guetlein, S.L., Leue, S.: Causality for general LTL-definable properties. In: Finkbeiner, B., Kleinberg, S. (eds.) Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018. EPTCS, vol.\u00a0286, pp. 1\u201315 (2018). https:\/\/doi.org\/10.4204\/EPTCS.286.1","DOI":"10.4204\/EPTCS.286.1"},{"key":"6_CR14","doi-asserted-by":"publisher","unstructured":"Chockler, H.: Causality and responsibility for formal verification and beyond. In: G\u00f6\u00dfler, G., Sokolsky, O. (eds.) Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016. EPTCS, vol.\u00a0224, pp.\u00a01\u20138 (2016). https:\/\/doi.org\/10.4204\/EPTCS.224.1","DOI":"10.4204\/EPTCS.224.1"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1613\/JAIR.1391","volume":"22","author":"H Chockler","year":"2004","unstructured":"Chockler, H., Halpern, J.Y.: Responsibility and blame: a structural-model approach. J. Artif. Intell. Res. 22, 93\u2013115 (2004). https:\/\/doi.org\/10.1613\/JAIR.1391","journal-title":"J. Artif. Intell. Res."},{"key":"6_CR16","doi-asserted-by":"publisher","unstructured":"Chockler, H., Halpern, J.Y., Kupferman, O.: What causes a system to satisfy a specification? ACM Trans. Comput. Log. 9(3), 20:1\u201320:26 (2008). https:\/\/doi.org\/10.1145\/1352582.1352588","DOI":"10.1145\/1352582.1352588"},{"key":"6_CR17","unstructured":"Dijkstra, E.W.: Over de sequentialiteit van procesbeschrijvingen (1962)"},{"key":"6_CR18","doi-asserted-by":"publisher","unstructured":"Friedenberg, M., Halpern, J.Y.: Blameworthiness in multi-agent settings. In: The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, 27 January\u20131 February 2019, pp. 525\u2013532. AAAI Press (2019). https:\/\/doi.org\/10.1609\/AAAI.V33I01.3301525","DOI":"10.1609\/AAAI.V33I01.3301525"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-540-73370-6_4","volume-title":"Model Checking Software","author":"P Gastin","year":"2007","unstructured":"Gastin, P., Moro, P.: Minimal counterexample generation for SPIN. In: Bo\u0161na\u010dki, D., Edelkamp, S. (eds.) SPIN 2007. LNCS, vol. 4595, pp. 24\u201338. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73370-6_4"},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-24732-6_7","volume-title":"Model Checking Software","author":"P Gastin","year":"2004","unstructured":"Gastin, P., Moro, P., Zeitoun, M.: Minimization of counterexamples in SPIN. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 92\u2013108. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24732-6_7"},{"issue":"3","key":"6_CR21","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/S10009-005-0202-0","volume":"8","author":"A Groce","year":"2006","unstructured":"Groce, A., Chaki, S., Kroening, D., Strichman, O.: Error explanation with distance metrics. Int. J. Softw. Tools Technol. Transf. 8(3), 229\u2013247 (2006). https:\/\/doi.org\/10.1007\/S10009-005-0202-0","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"6_CR22","doi-asserted-by":"publisher","unstructured":"Halpern, J.Y., Pearl, J.: Causes and explanations: a structural-model approach. Part i: Causes. Br. J. Philos. Sci. (2005). https:\/\/doi.org\/10.1093\/bjps\/axi147","DOI":"10.1093\/bjps\/axi147"},{"key":"6_CR23","doi-asserted-by":"publisher","unstructured":"Halpern, J.Y., Pearl, J.: Causes and explanations: a structural-model approach. Part II: Explanations. Br. J. Philos. Sci. (2005). https:\/\/doi.org\/10.1093\/bjps\/axi148","DOI":"10.1093\/bjps\/axi148"},{"key":"6_CR24","doi-asserted-by":"publisher","unstructured":"Hansen, H., Kervinen, A.: Counterexamples in O (n log n) Memory and O (n$$\\hat{\\,}$$2) Time. In: Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 28\u201330 June 2006, Turku, Finland, pp. 133\u2013142. IEEE Computer Society (2006). https:\/\/doi.org\/10.1109\/ACSD.2006.11","DOI":"10.1109\/ACSD.2006.11"},{"issue":"3","key":"6_CR25","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0020-0190(98)00150-1","volume":"68","author":"M Jurdzinski","year":"1998","unstructured":"Jurdzinski, M.: Deciding the winner in parity games is in UP $$\\cap $$ co-up. Inf. Process. Lett. 68(3), 119\u2013124 (1998). https:\/\/doi.org\/10.1016\/S0020-0190(98)00150-1","journal-title":"Inf. Process. Lett."},{"key":"6_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/978-3-030-57628-8_8","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"M K\u00f6lbl","year":"2020","unstructured":"K\u00f6lbl, M., Leue, S., Schmid, R.: Dynamic causes for the violation of timed reachability properties. In: Bertrand, N., Jansen, N. (eds.) FORMATS 2020. LNCS, vol. 12288, pp. 127\u2013143. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-57628-8_8"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-662-46675-9_8","volume-title":"Fundamental Approaches to Software Engineering","author":"D Landsberg","year":"2015","unstructured":"Landsberg, D., Chockler, H., Kroening, D., Lewis, M.: Evaluation of measures for statistical fault localisation and an optimising scheme. In: Egyed, A., Schaefer, I. (eds.) FASE 2015. LNCS, vol. 9033, pp. 115\u2013129. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46675-9_8"},{"key":"6_CR28","doi-asserted-by":"publisher","unstructured":"Lehmann, J.: Tool to compute responsibility using refinement (2025). https:\/\/doi.org\/10.5281\/zenodo.15224560","DOI":"10.5281\/zenodo.15224560"},{"key":"6_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-642-35873-9_16","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"F Leitner-Fischer","year":"2013","unstructured":"Leitner-Fischer, F., Leue, S.: Causality checking for complex system models. In: Giacobazzi, R., Berdine, J., Mastroeni, I. (eds.) VMCAI 2013. LNCS, vol. 7737, pp. 248\u2013267. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35873-9_16"},{"key":"6_CR30","doi-asserted-by":"publisher","unstructured":"Leitner-Fischer, F., Leue, S.: Spincause: a tool for causality checking. In: Rungta, N., Tkachuk, O. (eds.) 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, 21\u201323 July 2014, pp. 117\u2013120. ACM (2014). https:\/\/doi.org\/10.1145\/2632362.2632371","DOI":"10.1145\/2632362.2632371"},{"key":"6_CR31","doi-asserted-by":"publisher","unstructured":"Manna, Z., Pnueli, A.: Temporal verification of reactive systems: safety. Springer (1995). https:\/\/doi.org\/10.1007\/978-1-4612-4222-2","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"6_CR32","doi-asserted-by":"publisher","unstructured":"Mascle, C., Baier, C., Funke, F., Jantsch, S., Kiefer, S.: Responsibility and verification: importance value in temporal logics. In: 36th Annual ACM\/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, 29 June\u20132 July 2021, pp. 1\u201314. IEEE (2021). https:\/\/doi.org\/10.1109\/LICS52264.2021.9470597","DOI":"10.1109\/LICS52264.2021.9470597"},{"key":"6_CR33","doi-asserted-by":"publisher","unstructured":"Parreaux, J., Piribauer, J., Baier, C.: Counterfactual causality for reachability and safety based on distance functions. In: Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18\u201320 September 2023. EPTCS, vol.\u00a0390, pp. 132\u2013149 (2023). https:\/\/doi.org\/10.4204\/EPTCS.390.9","DOI":"10.4204\/EPTCS.390.9"},{"key":"6_CR34","doi-asserted-by":"publisher","unstructured":"Van\u00a0de Poel, I.: The relation between forward-looking and backward-looking responsibility. In: Moral Responsibility: Beyond Free Will and Determinism, pp. 37\u201352. Springer (2011). https:\/\/doi.org\/10.1007\/978-94-007-1878-4_3","DOI":"10.1007\/978-94-007-1878-4_3"},{"key":"6_CR35","doi-asserted-by":"crossref","unstructured":"Shapley, L.S.: A value for n-person games. Contribution to the Theory of Games 2 (1953)","DOI":"10.1515\/9781400881970-018"},{"key":"6_CR36","doi-asserted-by":"crossref","unstructured":"Winter, E.: The shapley value. In: Handbook of Game Theory with Economic Applications, vol. 3, pp. 2025\u20132054 (2002)","DOI":"10.1016\/S1574-0005(02)03016-3"},{"key":"6_CR37","unstructured":"Yazdanpanah, V., Dastani, M., Jamroga, W., Alechina, N., Logan, B.: Strategic responsibility under imperfect information. In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2019, Montreal, QC, Canada, 13\u201317 May 2019, pp. 592\u2013600. International Foundation for Autonomous Agents and Multiagent Systems (2019). http:\/\/dl.acm.org\/citation.cfm?id=3331745"},{"key":"6_CR38","doi-asserted-by":"publisher","unstructured":"Zeller, A.: Isolating cause-effect chains from computer programs. In: Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, Charleston, South Carolina, USA, 18\u201322 November 2002, pp. 1\u201310. ACM (2002). https:\/\/doi.org\/10.1145\/587051.587053","DOI":"10.1145\/587051.587053"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-00942-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T12:03:35Z","timestamp":1756296215000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-00942-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,28]]},"ISBN":["9783032009418","9783032009425"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-00942-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,28]]},"assertion":[{"value":"28 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aarhus","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 August 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 August 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/FMICS2025.uni-muenster.de","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}