{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T10:26:33Z","timestamp":1768213593627,"version":"3.49.0"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032156990","type":"print"},{"value":"9783032157003","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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-15700-3_13","type":"book-chapter","created":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T07:21:44Z","timestamp":1768202504000},"page":"263-286","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Discovery of\u00a0Actual Causality in\u00a0Stochastic Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-8844-4441","authenticated-orcid":false,"given":"Arshia","family":"Rafieioskouei","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-6213-3933","authenticated-orcid":false,"given":"Kenneth","family":"Rogale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1800-5419","authenticated-orcid":false,"given":"Borzoo","family":"Bonakdarpour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,1,13]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"\u00c1brah\u00e1m, E.,\u00a0Bonakdarpour, B.: HyperPCTL: a temporal logic for probabilistic hyperproperties. In: Proceedings of the 15th International Conference on Quantitative Evaluation of Systems (QEST), pp. 20\u201335 (2018)","DOI":"10.1007\/978-3-319-99154-2_2"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-031-24670-8_9","volume-title":"Social Robotics","author":"H Araujo","year":"2022","unstructured":"Araujo, H., et al.: Kaspar causally explains. In: Cavallo, F., et al. (eds.) Social Robotics, pp. 85\u201399. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-24670-8_9"},{"key":"13_CR3","unstructured":"Baier, C., et al.: From verification to causality-based explications (2021)"},{"key":"13_CR4","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: FoSSaCS 2022. LNCS, vol. 13242, pp. 40\u201360. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-99253-8_3"},{"key":"13_CR5","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Baier, C.,\u00a0Kl\u00fcppelholz, S.,\u00a0Piribauer, J.,\u00a0Ziemek, R.: Formal quality measures for predictors in Markov decision processes (2024)","DOI":"10.1609\/aaai.v39i25.34879"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-02658-4_11","volume-title":"Computer Aided Verification","author":"I Beer","year":"2009","unstructured":"Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.: Explaining counterexamples using causality. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 94\u2013108. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02658-4_11"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Beutner, R.,\u00a0Finkbeiner, B.,\u00a0Frenkel, H.,\u00a0Siber, J.: Checking and sketching causes on temporal sequences. In: Proceedings of the 21st International Symposium Automated Technology for Verification and Analysis (ATVA), pp. 314\u2013327 (2023)","DOI":"10.1007\/978-3-031-45332-8_18"},{"key":"13_CR9","unstructured":"Brockman, G., et al.: OpenAI Gym (2016)"},{"key":"13_CR10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111940","volume":"210","author":"M Broy","year":"2024","unstructured":"Broy, M.: Time, causality, and realizability: engineering interactive, distributed software systems. J. Syst. Softw. 210, 111940 (2024)","journal-title":"J. Syst. Softw."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Coenen, N., et al.: Explaining hyperproperty violations. In: Proceedings of the 34th International Conference on Computer Aided Verification(CAV), Part I, pp. 407\u2013429 (2022)","DOI":"10.1007\/978-3-031-13185-1_20"},{"key":"13_CR12","doi-asserted-by":"publisher","unstructured":"Coenen, N.,\u00a0Finkbeiner, B.,\u00a0Frenkel, H.,\u00a0Hahn, C.,\u00a0Metzger, N.,\u00a0Siber, J.: Temporal causality in reactive systems. In: Proceedings of the 20th International Symposium on Automated Technology for Verification and Analysis (ATVA), pp. 208\u2013224. Springer, Heidelberg (2022). https:\/\/doi.org\/10.1007\/978-3-031-19992-9_13","DOI":"10.1007\/978-3-031-19992-9_13"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Datta, A.,\u00a0Garg, D.,\u00a0Kaynar, D.,\u00a0Sharma, D.,\u00a0Sinha, A.: Program actions as actual causes: a building block for accountability. In: 2015 IEEE 28th Computer Security Foundations Symposium, pp. 261\u2013275 (2015)","DOI":"10.1109\/CSF.2015.25"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"de\u00a0Moura, L.M.,\u00a0Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 337\u2013340 (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"issue":"4","key":"13_CR15","doi-asserted-by":"publisher","first-page":"1061","DOI":"10.1093\/bjps\/axv056","volume":"68","author":"L Fenton-Glynn","year":"2017","unstructured":"Fenton-Glynn, L.: A proposed probabilistic extension of the halpern and pearl definition of \u2018Actual Cause\u2019. Br. J. Phil. Sci. 68(4), 1061\u20131124 (2017)","journal-title":"Br. J. Phil. Sci."},{"key":"13_CR16","unstructured":"Finkbeiner, B.,\u00a0Jahn, F.,\u00a0Siber, J.: Counterfactual explanations for MITL violations. In:\u00a0Barman, S.,\u00a0Lasota, S. (eds.) 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2024), vol. 323 of Leibniz International Proceedings in Informatics (LIPIcs), Dagstuhl, Germany, pp. 22:1\u201322:25. Schloss Dagstuhl \u2013 Leibniz-Zentrum f\u00fcr Informatik (2024)"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Finkbeiner, B.,\u00a0Kupriyanov, A.: Causality-based model checking. In: Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST), vol. 259, pp. 31\u201338 (2017)","DOI":"10.4204\/EPTCS.259.3"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Goessler, G.,\u00a0Astefanoaei, L.: Blaming in component-based real-time systems. In: Proceedings of the International Conference on Embedded Software (EMSOFT), pp. 7:1\u20137:10. ACM (2014)","DOI":"10.1145\/2656045.2656048"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"G\u00f6\u00dfler, G., M\u00e9tayer, D.L.: A general trace-based framework of logical causality. In: Fiadeiro, J.L.,\u00a0Liu, Z.,\u00a0Xue, J. (eds.) Proceedings of the10th International Symposium on Formal Aspects of Component Software (FACS), pp. 157\u2013173 (2013)","DOI":"10.1007\/978-3-319-07602-7_11"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"G\u00f6\u00dfler, G., M\u00e9tayer, D.L.,\u00a0Raclet, J.: Causality analysis in contract violation. In Proceedings of the First International Conference on Runtime Verification (RV), pp. 270\u2013284 (2010)","DOI":"10.1007\/978-3-642-16612-9_21"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"G\u00f6\u00dfler, G.,\u00a0Sokolsky, O.,\u00a0Stefani, J.: Counterfactual causality from first principles? In: Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST), vol. 259, pp. 47\u201353 (2017)","DOI":"10.4204\/EPTCS.259.5"},{"key":"13_CR22","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.: Causality analysis and fault ascription in component-based systems. Theor. Comput. Sci. 837, 158\u2013180 (2020)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR23","doi-asserted-by":"publisher","DOI":"10.1016\/j.cej.2025.161134","volume":"509","author":"A Guha","year":"2025","unstructured":"Guha, A., et al.: Ai-driven prediction of cardio-oncology biomarkers through protein corona analysis. Chem. Eng. J. 509, 161134 (2025)","journal-title":"Chem. Eng. J."},{"key":"13_CR24","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/10809.001.0001","volume-title":"Actual Causality","author":"JY Halpern","year":"2016","unstructured":"Halpern, J.Y.: Actual Causality. MIT Press, Cambridge (2016)"},{"key":"13_CR25","unstructured":"Heidlauf, P.,\u00a0Collins, A.,\u00a0Bolender, M.,\u00a0Bak, S.: Verification challenges in F-16 ground collision avoidance and other automated maneuvers. In: ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, vol.\u00a054, pp. 208\u2013217 (2018)"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-540-70545-1_16","volume-title":"Computer Aided Verification","author":"H Hermanns","year":"2008","unstructured":"Hermanns, H., Wachter, B., Zhang, L.: Probabilistic CEGAR. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 162\u2013175. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-70545-1_16"},{"key":"13_CR27","unstructured":"Hsu, T.-H.,\u00a0Rafieioskouei, A.,\u00a0Bonakdarpour, B.: HYPRL: reinforcement learning of control policies for hyperproperties. In: The Thirty-ninth Annual Conference on Neural Information Processing Systems (2025)"},{"key":"13_CR28","unstructured":"Kleinberg, S.,\u00a0Mishra, B.: The temporal logic of causal structures. In: Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence, UAI \u201909, Arlington, Virginia, USA, pp. 303\u2013312. AUAI Press (2009)"},{"key":"13_CR29","unstructured":"Kleinberg, S.,\u00a0Mishra, B.: The temporal logic of token causes. In: Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, KR\u201910, pp. 575\u2013577. AAAI Press (2010)"},{"key":"13_CR30","doi-asserted-by":"crossref","unstructured":"Lu, P.,\u00a0Ruchkin, I.,\u00a0Cleaveland, M.,\u00a0Sokolsky, O.,\u00a0Lee, I.: Causal repair of learning-enabled cyber-physical systems. In: Proceedings of the IEEE International Conference on Assured Autonomy (ICAA), pp. 1\u201310 (2023)","DOI":"10.1109\/ICAA58325.2023.00009"},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"Maldonado, J.,\u00a0Krumme, J.,\u00a0Zetzsche, C.,\u00a0Didelez, V.,\u00a0Schill, K.: Robot pouring: identifying causes of spillage and selecting alternative action parameters using probabilistic actual causation (2025)","DOI":"10.3389\/fcogn.2025.1565059"},{"key":"13_CR32","unstructured":"Raffin, A.: Rl baselines3 zoo (2020). https:\/\/github.com\/DLR-RM\/rl-baselines3-zoo"},{"issue":"268","key":"13_CR33","first-page":"1","volume":"22","author":"A Raffin","year":"2021","unstructured":"Raffin, A., Hill, A., Gleave, A., Kanervisto, A., Ernestus, M., Dormann, N.: Stable-baselines3: Reliable reinforcement learning implementations. J. Mach. Learn. Res. 22(268), 1\u20138 (2021)","journal-title":"J. Mach. Learn. Res."},{"issue":"11","key":"13_CR34","doi-asserted-by":"publisher","first-page":"4274","DOI":"10.1109\/TCAD.2024.3448299","volume":"43","author":"A Rafieioskouei","year":"2024","unstructured":"Rafieioskouei, A., Bonakdarpour, B.: Efficient discovery of actual causality using abstraction refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(11), 4274\u20134285 (2024)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"13_CR35","unstructured":"Rafieioskouei, A.,\u00a0Rogale, K.,\u00a0Bonakdarpour, B.: Efficient discovery of actual causality in stochastic systems (2025)"},{"key":"13_CR36","doi-asserted-by":"crossref","unstructured":"Rafieioskouei, A.,\u00a0Rogale, K., Saei, A.A.,\u00a0Mahmoudi, M.,\u00a0Bonakdarpour, B.: Beyond correlation: establishing causality in protein corona formation for nanomedicine. Molec. Pharmaceut. (2025)","DOI":"10.1021\/acs.molpharmaceut.5c00262"},{"key":"13_CR37","unstructured":"Raghavan, A.,\u00a0Bareinboim, E.: Counterfactual realizability. In: The Thirteenth International Conference on Learning Representations (2025)"},{"key":"13_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-319-23820-3_16","volume-title":"Runtime Verification","author":"S Wang","year":"2015","unstructured":"Wang, S., Geoffroy, Y., G\u00f6ssler, G., Sokolsky, O., Lee, I.: A hybrid approach to causality analysis. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 250\u2013265. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23820-3_16"},{"key":"13_CR39","unstructured":"Zheng, M.,\u00a0Kleinberg, S.: A method for automating token causal explanation and discovery. In:\u00a0Rus, V.,\u00a0Markov, Z. (eds.) Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, 22\u201324 May 2017, pp. 176\u2013181. AAAI Press (2017)"},{"key":"13_CR40","doi-asserted-by":"publisher","first-page":"1123762","DOI":"10.3389\/frobt.2024.1123762","volume":"11","author":"E Zibaei","year":"2024","unstructured":"Zibaei, E., Borth, R.: Building causal models for finding actual causes of unmanned aerial vehicle failures. Front. Rob. AI 11, 1123762 (2024)","journal-title":"Front. Rob. AI"},{"issue":"3","key":"13_CR41","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s11334-022-00452-8","volume":"18","author":"R Ziemek","year":"2022","unstructured":"Ziemek, R., Piribauer, J., Funke, F., Jantsch, S., Baier, C.: Probabilistic causes in Markov chains. Innov. Syst. Softw. Eng. 18(3), 347\u2013367 (2022)","journal-title":"Innov. Syst. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-15700-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T07:21:52Z","timestamp":1768202512000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-15700-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032156990","9783032157003"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-15700-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"13 January 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VMCAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Verification, Model Checking, and Abstract Interpretation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rennes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 January 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 January 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"vmcai2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/VMCAI-2026","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}