{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:50:52Z","timestamp":1742971852056,"version":"3.40.3"},"publisher-location":"Cham","reference-count":73,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031156281"},{"type":"electronic","value":"9783031156298"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15629-8_2","type":"book-chapter","created":{"date-parts":[[2022,9,24]],"date-time":"2022-09-24T16:26:53Z","timestamp":1664036813000},"page":"27-45","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Operational Causality \u2013 Necessarily Sufficient and\u00a0Sufficiently Necessary"],"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":"Florian","family":"Funke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Jantsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jakob","family":"Piribauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robin","family":"Ziemek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,7]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-99154-2_2","volume-title":"Quantitative Evaluation of Systems","author":"E \u00c1brah\u00e1m","year":"2018","unstructured":"\u00c1brah\u00e1m, E., Bonakdarpour, B.: HyperPCTL: a temporal logic for probabilistic hyperproperties. In: McIver, A., Horvath, A. (eds.) QEST 2018. LNCS, vol. 11024, pp. 20\u201335. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99154-2_2"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"894","DOI":"10.1007\/978-3-030-81685-8_42","volume-title":"Computer Aided Verification","author":"C Baier","year":"2021","unstructured":"Baier, C., Coenen, N., Finkbeiner, B., Funke, F., Jantsch, S., Siber, J.: Causality-based game solving. In: Silva, A., Leino, K.R.M. (eds.) CAV 2021. LNCS, vol. 12759, pp. 894\u2013917. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-81685-8_42"},{"key":"2_CR3","unstructured":"Baier, C., et al.: From verification to causality-based explications. In: Bansal, N., Merelli, E., Worrell, J. (eds.) 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, vol. 198, pp. 1:1\u20131:20. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2021)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-030-88885-5_14","volume-title":"Automated Technology for Verification and Analysis","author":"C Baier","year":"2021","unstructured":"Baier, C., Funke, F., Jantsch, S., Piribauer, J., Ziemek, R.: Probabilistic causes in Markov chains. In: Hou, Z., Ganesh, V. (eds.) ATVA 2021. LNCS, vol. 12971, pp. 205\u2013221. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88885-5_14"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-030-99253-8_3","volume-title":"Foundations of Software Science and Computation Structures","author":"C Baier","year":"2022","unstructured":"Baier, C., Funke, F., Piribauer, J., Ziemek, R.: On probability-raising causality in Markov decision processes. In: Bouyer, P., Schr\u00f6der, L. (eds.) FoSSaCS 2022. LNCS, vol. 13242, pp. 40\u201360. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99253-8_3"},{"key":"2_CR6","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"515","DOI":"10.1007\/978-3-642-54862-8_43","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"C Baier","year":"2014","unstructured":"Baier, C., Klein, J., Kl\u00fcppelholz, S., M\u00e4rcker, S.: Computing conditional probabilities in Markovian models efficiently. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 515\u2013530. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54862-8_43"},{"issue":"1","key":"2_CR8","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/640128.604140","volume":"38","author":"T Ball","year":"2003","unstructured":"Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: localizing errors in counterexample traces. SIGPLAN Not. 38(1), 97\u2013105 (2003)","journal-title":"SIGPLAN Not."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Batusov, V., Soutchanski, M.: Situation calculus semantics for actual causality. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 32, no. 1, April 2018","DOI":"10.1609\/aaai.v32i1.11561"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/978-3-319-23404-5_14","volume-title":"Model Checking Software","author":"A Beer","year":"2015","unstructured":"Beer, A., Heidinger, S., K\u00fchne, U., Leitner-Fischer, F., Leue, S.: Symbolic causality checking using bounded model checking. In: Fischer, B., Geldenhuys, J. (eds.) SPIN 2015. LNCS, vol. 9232, pp. 203\u2013221. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23404-5_14"},{"issue":"1","key":"2_CR11","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/s10703-011-0132-2","volume":"40","author":"I Beer","year":"2012","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)","journal-title":"Formal Methods Syst. Des."},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/3-540-63166-6_28","volume-title":"Computer Aided Verification","author":"I Beer","year":"1997","unstructured":"Beer, I., Ben-David, S., Eisner, C., Rodeh, Y.: Efficient detection of vacuity in ACTL formulas. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 279\u2013290. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63166-6_28"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Caltais, G., Guetlein, S.L., Leue, S.: Causality for general LTL-definable properties. In: Proceedings of the 3rd Workshop on Formal Reasoning About Causation, Responsibility, and Explanations in Science and Technology (CREST), pp. 1\u201315 (2018)","DOI":"10.4204\/EPTCS.286.1"},{"issue":"1","key":"2_CR14","first-page":"93","volume":"22","author":"H Chockler","year":"2004","unstructured":"Chockler, H., Halpern, J.Y.: Responsibility and blame: a structural-model approach. J. Artif. Int. Res. 22(1), 93\u2013115 (2004)","journal-title":"J. Artif. Int. Res."},{"issue":"3","key":"2_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1352582.1352588","volume":"9","author":"H Chockler","year":"2008","unstructured":"Chockler, H., Halpern, J.Y., Kupferman, O.: What causes a system to satisfy a specification? ACM Trans. Comput. Logic 9(3), 1\u201326 (2008)","journal-title":"ACM Trans. Comput. Logic"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-44585-4_7","volume-title":"Computer Aided Verification","author":"H Chockler","year":"2001","unstructured":"Chockler, H., Kupferman, O., Kurshan, R.P., Vardi, M.Y.: A practical approach to coverage in model checking. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 66\u201378. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44585-4_7"},{"issue":"4\u20135","key":"2_CR17","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/s10009-004-0175-4","volume":"8","author":"H Chockler","year":"2006","unstructured":"Chockler, H., Kupferman, O., Vardi, M.: Coverage metrics for formal verification. Int. J. Softw. Tools Technol. Transf. (STTT) 8(4\u20135), 373\u2013386 (2006)","journal-title":"Int. J. Softw. Tools Technol. Transf. (STTT)"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1007\/3-540-45319-9_36","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H Chockler","year":"2001","unstructured":"Chockler, H., Kupferman, O., Vardi, M.Y.: Coverage metrics for temporal logic model checking. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 528\u2013542. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45319-9_36"},{"key":"2_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1007\/978-3-540-69850-0_12","volume-title":"25 Years of Model Checking","author":"EM Clarke","year":"2008","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Grumberg, O., Veith, H. (eds.) 25 Years of Model Checking. LNCS, vol. 5000, pp. 196\u2013215. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-69850-0_12"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8, 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Grumberg, O., McMillan, K.L., Zhao, X.: Efficient generation of counterexamples and witnesses in symbolic model checking. In: Proceedings of the 32nd Annual ACM\/IEEE Design Automation Conference (DAC), New York, NY, USA, pp. 427\u2013432. ACM (1995)","DOI":"10.1145\/217474.217565"},{"issue":"4","key":"2_CR22","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1145\/210332.210339","volume":"42","author":"C Courcoubetis","year":"1995","unstructured":"Courcoubetis, C., Yannakakis, M.: The complexity of probabilistic verification. J. ACM 42(4), 857\u2013907 (1995)","journal-title":"J. ACM"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Datta, A., Garg, D., Kaynar, D., Sharma, D., Sinha, A.: Program actions as actual causes: a building block for accountability. In: Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF), pp. 261\u2013275 (2015)","DOI":"10.1109\/CSF.2015.25"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BFb0023457","volume-title":"STACS 97","author":"L Alfaro","year":"1997","unstructured":"Alfaro, L.: Temporal logics for the specification of performance and reliability. In: Reischuk, R., Morvan, M. (eds.) STACS 1997. LNCS, vol. 1200, pp. 165\u2013176. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0023457"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-030-59152-6_27","volume-title":"Automated Technology for Verification and Analysis","author":"R Dimitrova","year":"2020","unstructured":"Dimitrova, R., Finkbeiner, B., Torfah, H.: Probabilistic hyperproperties of Markov decision processes. In: Hung, D.V., Sokolsky, O. (eds.) ATVA 2020. LNCS, vol. 12302, pp. 484\u2013500. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59152-6_27"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Dubslaff, C., Weis, K., Baier, C., Apel, S.: Causality in configurable software systems. In: Proceedings of the 44th International Conference on Software Engineering (ICSE) (2022)","DOI":"10.1145\/3510003.3510200"},{"issue":"2","key":"2_CR27","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1137\/05064299X","volume":"38","author":"U Feige","year":"2008","unstructured":"Feige, U., Hajiaghayi, M., Lee, J.R.: Improved approximation algorithms for minimum weight vertex separators. SIAM J. Comput. 38(2), 629\u2013657 (2008)","journal-title":"SIAM J. Comput."},{"key":"2_CR28","doi-asserted-by":"crossref","unstructured":"Feige, U., Mahdian, M.: Finding small balanced separators. In: Kleinberg, J.M. (ed.) Proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, WA, USA, 21\u201323 May 2006, pp. 375\u2013384. ACM (2006)","DOI":"10.1145\/1132516.1132573"},{"issue":"1\u20132","key":"2_CR29","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/S0004-3702(97)00047-7","volume":"97","author":"D Galles","year":"1997","unstructured":"Galles, D., Pearl, J.: Axioms of causal relevance. Artif. Intell. 97(1\u20132), 9\u201343 (1997)","journal-title":"Artif. Intell."},{"key":"2_CR30","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1009602825894","volume":"3","author":"D Galles","year":"1998","unstructured":"Galles, D., Pearl, J.: An axiomatic characterization of causal counterfactuals. Found. Sci. 3, 151\u2013182 (1998)","journal-title":"Found. Sci."},{"issue":"3","key":"2_CR31","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1080\/00048400802587325","volume":"87","author":"G Gomes","year":"2009","unstructured":"Gomes, G.: Are necessary and sufficient conditions converse relations? Australas. J. Philos. 87(3), 375\u2013387 (2009)","journal-title":"Australas. J. Philos."},{"key":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-319-07602-7_11","volume-title":"Formal Aspects of Component Software","author":"G G\u00f6ssler","year":"2014","unstructured":"G\u00f6ssler, G., Le M\u00e9tayer, D.: A general trace-based framework of logical causality. In: Fiadeiro, J.L., Liu, Z., Xue, J. (eds.) FACS 2013. LNCS, vol. 8348, pp. 157\u2013173. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07602-7_11"},{"key":"2_CR33","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/j.scico.2015.06.010","volume":"113","author":"G G\u00f6ssler","year":"2015","unstructured":"G\u00f6ssler, G., Le M\u00e9tayer, D.: A general framework for blaming in component-based systems. Sci. Comput. Program. 113, 223\u2013235 (2015)","journal-title":"Sci. Comput. Program."},{"key":"2_CR34","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1016\/j.tcs.2020.06.010","volume":"837","author":"G G\u00f6ssler","year":"2020","unstructured":"G\u00f6ssler, G., Stefani, J.-B.: Causality analysis and fault ascription in component-based systems. Theoret. Comput. Sci. 837, 158\u2013180 (2020)","journal-title":"Theoret. Comput. Sci."},{"key":"2_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-24730-2_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Groce","year":"2004","unstructured":"Groce, A.: Error explanation with distance metrics. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 108\u2013122. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24730-2_8"},{"issue":"3","key":"2_CR36","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. Transfer 8(3), 229\u2013247 (2006)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"2_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-44829-2_8","volume-title":"Model Checking Software","author":"A Groce","year":"2003","unstructured":"Groce, A., Visser, W.: What went wrong: explaining counterexamples. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol. 2648, pp. 121\u2013136. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-44829-2_8"},{"issue":"1","key":"2_CR38","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1613\/jair.648","volume":"12","author":"JY Halpern","year":"2000","unstructured":"Halpern, J.Y.: Axiomatizing causal reasoning. J. Artif. Intell. Res. 12(1), 317\u2013337 (2000)","journal-title":"J. Artif. Intell. Res."},{"key":"2_CR39","unstructured":"Halpern, J.Y.: A modification of the Halpern-Pearl definition of causality. In: Proceedings of the 24th International Joint Conference on AI (IJCAI), pp. 3022\u20133033. AAAI Press (2015)"},{"issue":"4","key":"2_CR40","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1093\/bjps\/axi147","volume":"56","author":"JY Halpern","year":"2005","unstructured":"Halpern, J.Y., Pearl, J.: Causes and explanations: a structural-model approach. Part I: causes. Br. J. Philos. Sci. 56(4), 843\u2013887 (2005)","journal-title":"Br. J. Philos. Sci."},{"issue":"4","key":"2_CR41","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1093\/bjps\/axi148","volume":"56","author":"JY Halpern","year":"2005","unstructured":"Halpern, J.Y., Pearl, J.: Causes and explanations: a structural-model approach. Part II: explanations. Br. J. Philos. Sci. 56(4), 889\u2013911 (2005)","journal-title":"Br. J. Philos. Sci."},{"key":"2_CR42","volume-title":"Causation in the Law","author":"HLA Hart","year":"1959","unstructured":"Hart, H.L.A., Honor\u00e9, A.M.: Causation in the Law. Oxford University Press, Oxford (1959)"},{"issue":"3","key":"2_CR43","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1145\/2166.357214","volume":"5","author":"S Hart","year":"1983","unstructured":"Hart, S., Sharir, M., Pnueli, A.: Termination of probabilistic concurrent program. ACM Trans. Program. Lang. Syst. 5(3), 356\u2013380 (1983)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"5","key":"2_CR44","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1093\/logcom\/exm048","volume":"17","author":"M Hopkins","year":"2007","unstructured":"Hopkins, M., Pearl, J.: Causality and counterfactuals in the situation calculus. J. Log. Comput. 17(5), 939\u2013953 (2007)","journal-title":"J. Log. Comput."},{"key":"2_CR45","doi-asserted-by":"crossref","unstructured":"Hoskote, Y., Kam, T., Ho, P.-H., Zhao, X.: Coverage estimation for symbolic model checking. In: Proceedings of the 36th Annual ACM\/IEEE Design Automation Conference (DAC), pp. 300\u2013305 (1999)","DOI":"10.1145\/309847.309936"},{"key":"2_CR46","doi-asserted-by":"crossref","unstructured":"Hume, D.: A Treatise of Human Nature. John Noon (1739)","DOI":"10.1093\/oseo\/instance.00046221"},{"key":"2_CR47","doi-asserted-by":"crossref","unstructured":"Hume, D.: An Enquiry Concerning Human Understanding. London (1748)","DOI":"10.1093\/oseo\/instance.00032980"},{"key":"2_CR48","unstructured":"Khan, S.M., Soutchanski, M.: Necessary and sufficient conditions for actual root causes. In: 24th European Conference on Artificial Intelligence (ECAI 2020), Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), pp. 800\u2013808 (2020)"},{"key":"2_CR49","unstructured":"Kleinberg, S.: A logic for causal inference in time series with discrete and continuous variables. In: Proceedings of the 22nd International Joint Conference on AI (IJCAI), pp. 943\u2013950 (2011)"},{"key":"2_CR50","unstructured":"Kleinberg, S., Mishra, B.: The temporal logic of causal structures. In: Proceedings of the 25th Conference on Uncertainty in AI (UAI), pp. 303\u2013312 (2009)"},{"key":"2_CR51","unstructured":"Kleinberg, S., Mishra, B.: The temporal logic of token causes. In: Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR) (2010)"},{"key":"2_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-030-31784-3_10","volume-title":"Automated Technology for Verification and Analysis","author":"M K\u00f6lbl","year":"2019","unstructured":"K\u00f6lbl, M., Leue, S.: An efficient algorithm for computing causal trace sets in causality checking. In: Chen, Y.-F., Cheng, C.-H., Esparza, J. (eds.) ATVA 2019. LNCS, vol. 11781, pp. 171\u2013186. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31784-3_10"},{"key":"2_CR53","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":"2_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-48153-2_8","volume-title":"Correct Hardware Design and Verification Methods","author":"O Kupferman","year":"1999","unstructured":"Kupferman, O., Vardi, M.Y.: Vacuity detection in temporal model checking. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol. 1703, pp. 82\u201398. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48153-2_8"},{"key":"2_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-642-40184-8_19","volume-title":"CONCUR 2013 \u2013 Concurrency Theory","author":"A Kupriyanov","year":"2013","unstructured":"Kupriyanov, A., Finkbeiner, B.: Causality-based verification of multi-threaded programs. In: D\u2019Argenio, P.R., Melgratti, H. (eds.) CONCUR 2013. LNCS, vol. 8052, pp. 257\u2013272. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40184-8_19"},{"key":"2_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1007\/978-3-319-08867-9_54","volume-title":"Computer Aided Verification","author":"A Kupriyanov","year":"2014","unstructured":"Kupriyanov, A., Finkbeiner, B.: Causal termination of multi-threaded programs. In: Biere, A., Bloem, R. (eds.) CAV 2014. LNCS, vol. 8559, pp. 814\u2013830. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-08867-9_54"},{"key":"2_CR57","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"},{"issue":"17","key":"2_CR58","doi-asserted-by":"publisher","first-page":"556","DOI":"10.2307\/2025310","volume":"70","author":"D Lewis","year":"1973","unstructured":"Lewis, D.: Causation. J. Philos. 70(17), 556\u2013567 (1973)","journal-title":"J. Philos."},{"issue":"4","key":"2_CR59","first-page":"245","volume":"2","author":"JL Mackie","year":"1965","unstructured":"Mackie, J.L.: Causes and conditions. Am. Philos. Q. 2(4), 245\u2013264 (1965)","journal-title":"Am. Philos. Q."},{"key":"2_CR60","volume-title":"The Cement of the Universe: A Study of Causation","author":"JL Mackie","year":"1974","unstructured":"Mackie, J.L.: The Cement of the Universe: A Study of Causation. Clarendon Press, Oxford (1974)"},{"key":"2_CR61","doi-asserted-by":"crossref","unstructured":"Mascle, C., Baier, C., Funke, F., Jantsch, S., Kiefer, S.: Responsibility and verification: importance value in temporal logics. In: 2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS), pp. 1\u201314 (2021)","DOI":"10.1109\/LICS52264.2021.9470597"},{"key":"2_CR62","volume-title":"Combinatorial Optimization: Algorithms and Complexity","author":"CH Papadimitriou","year":"1982","unstructured":"Papadimitriou, C.H., Steiglitz, K.: Combinatorial Optimization: Algorithms and Complexity. Prentice-Hall, Hoboken (1982)"},{"issue":"4","key":"2_CR63","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1093\/biomet\/82.4.669","volume":"82","author":"J Pearl","year":"1995","unstructured":"Pearl, J.: Causal diagrams for empirical research. Biometrika 82(4), 669\u2013688 (1995)","journal-title":"Biometrika"},{"key":"2_CR64","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science (FOCS), pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"2_CR65","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/3-540-45657-0_39","volume-title":"Computer Aided Verification","author":"M Purandare","year":"2002","unstructured":"Purandare, M., Somenzi, F.: Vacuum cleaning CTL formulae. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 485\u2013499. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45657-0_39"},{"key":"2_CR66","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","volume-title":"International Symposium on Programming","author":"JP Queille","year":"1982","unstructured":"Queille, J.P., Sifakis, J.: Specification and verification of concurrent systems in CESAR. In: Dezani-Ciancaglini, M., Montanari, U. (eds.) Programming 1982. LNCS, vol. 137, pp. 337\u2013351. Springer, Heidelberg (1982). https:\/\/doi.org\/10.1007\/3-540-11494-7_22"},{"key":"2_CR67","doi-asserted-by":"publisher","DOI":"10.1063\/1.3059791","volume-title":"The Direction of Time","author":"H Reichenbach","year":"1956","unstructured":"Reichenbach, H.: The Direction of Time. University of California Press, Berkeley and Los Angeles (1956)"},{"key":"2_CR68","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"},{"key":"2_CR69","unstructured":"Renieres, M., Reiss, S.P.: Fault localization with nearest neighbor queries. In: Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE), pp. 30\u201339 (2003)"},{"key":"2_CR70","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: Automatic verification of probabilistic concurrent finite state programs. In: Proceedings of the 26th Annual Symposium on Foundations of Computer Science, SFCS 1985, pp. 327\u2013338. IEEE Computer Society (1985)","DOI":"10.1109\/SFCS.1985.12"},{"issue":"12","key":"2_CR71","doi-asserted-by":"publisher","first-page":"355","DOI":"10.2307\/2023797","volume":"65","author":"R Wertheimer","year":"1968","unstructured":"Wertheimer, R.: Conditions. J. Philos. 65(12), 355\u2013364 (1968)","journal-title":"J. Philos."},{"issue":"6","key":"2_CR72","doi-asserted-by":"publisher","first-page":"1735","DOI":"10.2307\/3480373","volume":"73","author":"RW Wright","year":"1985","unstructured":"Wright, R.W.: Causation in tort law. Calif. Law Rev. 73(6), 1735\u20131828 (1985)","journal-title":"Calif. Law Rev."},{"key":"2_CR73","doi-asserted-by":"crossref","unstructured":"Zeller, A.: Isolating cause-effect chains from computer programs. In: Proceedings of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE), New York, NY, USA, pp. 1\u201310. ACM (2002)","DOI":"10.1145\/605466.605468"}],"container-title":["Lecture Notes in Computer Science","A Journey from Process Algebra via Timed Automata to Model Learning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15629-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T11:41:00Z","timestamp":1676893260000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15629-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031156281","9783031156298"],"references-count":73,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15629-8_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"7 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}