{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T15:39:23Z","timestamp":1780673963851,"version":"3.54.1"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030888848","type":"print"},{"value":"9783030888855","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"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":[[2021]]},"DOI":"10.1007\/978-3-030-88885-5_14","type":"book-chapter","created":{"date-parts":[[2021,10,13]],"date-time":"2021-10-13T17:25:06Z","timestamp":1634145906000},"page":"205-221","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Probabilistic Causes in Markov Chains"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5321-9343","authenticated-orcid":false,"given":"Christel","family":"Baier","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7301-1550","authenticated-orcid":false,"given":"Florian","family":"Funke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1692-2408","authenticated-orcid":false,"given":"Simon","family":"Jantsch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4829-0476","authenticated-orcid":false,"given":"Jakob","family":"Piribauer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8490-1433","authenticated-orcid":false,"given":"Robin","family":"Ziemek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"key":"14_CR1","unstructured":"CP-logic: A language of causal probabilistic events and its relation to logic programming 9"},{"key":"14_CR2","volume-title":"Principles of Model Checking (Representation and Mind Series)","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-642-35632-2_18","volume-title":"Runtime Verification","author":"E Bartocci","year":"2013","unstructured":"Bartocci, E., et al.: Adaptive runtime verification. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol. 7687, pp. 168\u2013182. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-35632-2_18"},{"key":"14_CR4","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":"14_CR5","doi-asserted-by":"crossref","unstructured":"Bertsekas, D.P., Tsitsiklis, J.N.: An analysis of stochastic shortest path problems, 16(3), 580\u2013595 (1991)","DOI":"10.1287\/moor.16.3.580"},{"issue":"483","key":"14_CR6","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1093\/mind\/fzs081","volume":"121","author":"M Braham","year":"2012","unstructured":"Braham, M., van Hees, M.: An anatomy of moral responsibility. Mind 121(483), 601\u2013634 (2012)","journal-title":"Mind"},{"key":"14_CR7","unstructured":"Brihaye, T., Geeraerts, G., Haddad, A., Monmege, B.: To reach or not to reach? efficient algorithms for total-payoff games. In: Proceedings of the 26th International Conference on Concurrency Theory (CONCUR\u201915). LIPIcs, vol. 42, pp. 297\u2013310 (2015)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Chadha, R., Sistla, A.P., Viswanathan, M.: On the expressiveness and complexity of randomization in finite state monitors, 56(5) (2009)","DOI":"10.1145\/1552285.1552287"},{"key":"14_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-319-63121-9_18","volume-title":"Models, Algorithms, Logics and Tools","author":"K Chatterjee","year":"2017","unstructured":"Chatterjee, K., Doyen, L., Henzinger, T.A.: The cost of exactness in quantitative reachability. In: Aceto, L., Bacci, G., Bacci, G., Ing\u00f3lfsd\u00f3ttir, A., Legay, A., Mardare, R. (eds.) Models, Algorithms, Logics and Tools. LNCS, vol. 10460, pp. 367\u2013381. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63121-9_18"},{"issue":"1","key":"14_CR10","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."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Chockler, H., Halpern, J.Y., Kupferman, O.: What causes a system to satisfy a specification? ACM Trans. Comput. Logic 9(3), 20:1\u201320:26 (2008)","DOI":"10.1145\/1352582.1352588"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1007\/978-3-662-46681-0_54","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"C Cini","year":"2015","unstructured":"Cini, C., Francalanza, A.: An LTL proof system for runtime verification. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 581\u2013595. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_54"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-662-49674-9_7","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"P Daca","year":"2016","unstructured":"Daca, P., Henzinger, T.A., K\u0159et\u00ednsk\u00fd, J., Petrov, T.: Faster statistical model checking for unbounded temporal properties. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 112\u2013129. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49674-9_7"},{"key":"14_CR14","unstructured":"Dash, D., Voortman, M., De Jongh, M.: Sequences of mechanisms for causal reasoning in artificial intelligence. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence, IJCAI \u201913, pp. 839\u2013845. AAAI Press (2013)"},{"key":"14_CR15","volume-title":"Probabilistic Causality. Cambridge Studies in Probability, Induction and Decision Theory","author":"E Eells","year":"1991","unstructured":"Eells, E.: Probabilistic Causality. Cambridge Studies in Probability, Induction and Decision Theory. Cambridge University Press, Cambridge (1991)"},{"issue":"1\u20132","key":"14_CR16","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.artint.2003.06.002","volume":"154","author":"T Eiter","year":"2004","unstructured":"Eiter, T., Lukasiewicz, T.: Complexity results for explanations in the structural-model approach. Artif. Intell. 154(1\u20132), 145\u2013198 (2004)","journal-title":"Artif. Intell."},{"issue":"6\u20137","key":"14_CR17","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1016\/j.artint.2005.12.003","volume":"170","author":"T Eiter","year":"2006","unstructured":"Eiter, T., Lukasiewicz, T.: Causes and explanations in the structural-model approach: tractable cases. Artif. Intell. 170(6\u20137), 542\u2013580 (2006)","journal-title":"Artif. Intell."},{"key":"14_CR18","unstructured":"Esparza, J., Kiefer, S., Kretinsky, J., Weininger, M.: Online monitoring $$\\omega $$-regular properties in unknown Markov chains. Arxiv preprint, arXiv:2010.08347 (2020)"},{"issue":"8","key":"14_CR19","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1007\/s00236-017-0307-4","volume":"55","author":"R Faran","year":"2018","unstructured":"Faran, R., Kupferman, O.: Spanning the spectrum from safety to liveness. Acta Informatica 55(8), 703\u2013732 (2018). https:\/\/doi.org\/10.1007\/s00236-017-0307-4","journal-title":"Acta Informatica"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Feigenbaum, J., Hendler, J.A., Jaggard, A.D., Weitzner, D.J., Wright, R.N.: Accountability and deterrence in online life. ACM, New York (2011)","DOI":"10.1145\/2527031.2527043"},{"issue":"4","key":"14_CR21","doi-asserted-by":"publisher","first-page":"1061","DOI":"10.1093\/bjps\/axv056","volume":"68","author":"L Fenton-Glynn","year":"2016","unstructured":"Fenton-Glynn, L.: A proposed probabilistic extension of the halpern and pearl definition of \u2018actual cause\u2019. Br. J. Philos. Sci. 68(4), 1061\u20131124 (2016)","journal-title":"Br. J. Philos. Sci."},{"issue":"4","key":"14_CR22","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1137\/0206049","volume":"6","author":"J Gill","year":"1977","unstructured":"Gill, J.: Computational complexity of probabilistic turing machines. SIAM J. Comput. 6(4), 675\u2013695 (1977)","journal-title":"SIAM J. Comput."},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-540-93900-9_12","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"K Gondi","year":"2008","unstructured":"Gondi, K., Patel, Y., Sistla, A.P.: Monitoring the full range of w-regular properties of stochastic systems. In: Jones, N.D., M\u00fcller-Olm, M. (eds.) VMCAI 2009. LNCS, vol. 5403, pp. 105\u2013119. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-93900-9_12"},{"key":"14_CR24","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). https:\/\/doi.org\/10.1007\/978-3-662-47666-6_19"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Haase, C., Kiefer, S.: The complexity of the kth largest subset problem and related problems, 116(2) (2016)","DOI":"10.1016\/j.ipl.2015.09.015"},{"key":"14_CR26","unstructured":"Halpern, J.Y.: A modification of the Halpern-Pearl definition of causality. In: Proceedings of IJCAI\u201915, pp. 3022\u20133033. AAAI Press (2015)"},{"key":"14_CR27","unstructured":"Halpern, J.Y., Pearl, J.: Causes and explanations: a structural-model approach: part 1: causes. In: Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence (UAI), pp. 194\u2013202 (2001)"},{"key":"14_CR28","unstructured":"Huang, Y., Kleinberg, S.: Fast and accurate causal inference from time series data. In: Proceedings of FLAIRS 2015, pp. 49\u201354. AAAI Press (2015)"},{"key":"14_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-030-59152-6_19","volume-title":"Automated Technology for Verification and Analysis","author":"A Ibrahim","year":"2020","unstructured":"Ibrahim, A., Pretschner, A.: From checking to inference: actual causality computations as optimization problems. In: Hung, D.V., Sokolsky, O. (eds.) ATVA 2020. LNCS, vol. 12302, pp. 343\u2013359. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59152-6_19"},{"key":"14_CR30","unstructured":"Ibrahim, A., Pretschner, A., Klesel, T., Zibaei, E., Kacianka, S., Pretschner, A.: Actual causality canvas: a general framework for explanation-based socio-technical constructs. In: Proceedings of ECAI\u201920, pp. 2978\u20132985. IOS Press Ebooks (2020)"},{"key":"14_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-40787-1_9","volume-title":"Runtime Verification","author":"K Kalajdzic","year":"2013","unstructured":"Kalajdzic, K., Bartocci, E., Smolka, S.A., Stoller, S.D., Grosu, R.: Runtime verification with particle filtering. In: Legay, A., Bensalem, S. (eds.) RV 2013. LNCS, vol. 8174, pp. 149\u2013166. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40787-1_9"},{"key":"14_CR32","unstructured":"Kleinberg, S.: A logic for causal inference in time series with discrete and continuous variables. In: Proceedings of IJCAI\u201911, pp. 943\u2013950 (2011)"},{"issue":"6","key":"14_CR33","doi-asserted-by":"publisher","first-page":"1102","DOI":"10.1016\/j.jbi.2011.07.001","volume":"44","author":"S Kleinberg","year":"2011","unstructured":"Kleinberg, S., Hripcsak, G.: A review of causal inference for biomedical informatics. J. Biomed. Inform. 44(6), 1102\u201312 (2011)","journal-title":"J. Biomed. Inform."},{"key":"14_CR34","unstructured":"Kleinberg, S., Mishra, B.: The temporal logic of causal structures. In: Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence (UAI), pp. 303\u2013312 (2009)"},{"key":"14_CR35","unstructured":"Kleinberg, S., Mishra, B.: The temporal logic of token causes. In: Proceedings of KR\u201910, pp. 575\u2013577. AAAI Press (2010)"},{"key":"14_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2018.07.007","volume":"267","author":"T Miller","year":"2017","unstructured":"Miller, T.: Explanation in artificial intelligence: insights from the social sciences. Artif. Intell. 267, 1\u201338 (2017)","journal-title":"Artif. Intell."},{"key":"14_CR37","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511803161","volume-title":"Causality","author":"J Pearl","year":"2009","unstructured":"Pearl, J.: Causality, 2nd edn. Cambridge University Press, Cambridge (2009)","edition":"2"},{"key":"14_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-030-17127-8_25","volume-title":"Foundations of Software Science and Computation Structures","author":"J Piribauer","year":"2019","unstructured":"Piribauer, J., Baier, C.: Partial and conditional expectations in Markov decision processes with integer weights. In: Boja\u0144czyk, M., Simpson, A. (eds.) FoSSaCS 2019. LNCS, vol. 11425, pp. 436\u2013452. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17127-8_25"},{"key":"14_CR39","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. Dover Publications, Mineola (1956)"},{"key":"14_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-540-78163-9_25","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"AP Sistla","year":"2008","unstructured":"Sistla, A.P., Srinivas, A.R.: Monitoring temporal properties of stochastic systems. In: Logozzo, F., Peled, D.A., Zuck, L.D. (eds.) VMCAI 2008. LNCS, vol. 4905, pp. 294\u2013308. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78163-9_25"},{"key":"14_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-29860-8_15","volume-title":"Runtime Verification","author":"SD Stoller","year":"2012","unstructured":"Stoller, S.D.: Runtime verification with state estimation. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 193\u2013207. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29860-8_15"},{"key":"14_CR42","doi-asserted-by":"crossref","unstructured":"Toda, S.: PP is as hard as the polynomial-time hierarchy, 20, 865\u2013877 (1991)","DOI":"10.1137\/0220053"},{"key":"14_CR43","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-642-15675-5_27","volume-title":"Logics in Artificial Intelligence","author":"J Vennekens","year":"2010","unstructured":"Vennekens, J., Bruynooghe, M., Denecker, M.: Embracing events in causal modelling: interventions and counterfactuals in CP-logic. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS (LNAI), vol. 6341, pp. 313\u2013325. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15675-5_27"},{"key":"14_CR44","unstructured":"Zheng, M., Kleinberg, S.: A method for automating token causal explanation and discovery. In: Proceedings of FLAIRS\u201917 (2017)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-88885-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,13]],"date-time":"2021-10-13T17:58:20Z","timestamp":1634147900000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-88885-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030888848","9783030888855"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-88885-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"12 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ATVA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Automated Technology for Verification and Analysis","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Gold Coast, QLD","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"atva2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/formal-analysis.com\/atva\/2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"75","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"25% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"In addition there are 4 tool papers. The conference was held online because of the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}