{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T11:35:09Z","timestamp":1768908909752,"version":"3.49.0"},"publisher-location":"Cham","reference-count":46,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031453311","type":"print"},{"value":"9783031453328","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-45332-8_12","type":"book-chapter","created":{"date-parts":[[2023,10,18]],"date-time":"2023-10-18T05:01:36Z","timestamp":1697605296000},"page":"237-250","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["AutoKoopman: A Toolbox for\u00a0Automated System Identification via\u00a0Koopman Operator Linearization"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6509-6846","authenticated-orcid":false,"given":"Ethan","family":"Lew","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-9685-0558","authenticated-orcid":false,"given":"Abdelrahman","family":"Hekal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4726-8931","authenticated-orcid":false,"given":"Kostiantyn","family":"Potomkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6017-7623","authenticated-orcid":false,"given":"Niklas","family":"Kochdumper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9240-7999","authenticated-orcid":false,"given":"Brandon","family":"Hencey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4947-9553","authenticated-orcid":false,"given":"Stanley","family":"Bak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0686-0365","authenticated-orcid":false,"given":"Sergiy","family":"Bogomolov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,10,19]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Alford-Lago, D.J., Curtis, C.W., Ihler, A.T., Issan, O.: Deep learning enhanced dynamic mode decomposition. Chaos: Interdisc. J. Nonlinear Sci. 32(3), 033116 (2022)","DOI":"10.1063\/5.0073893"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Bak, S., et al.: Reachability of black-box nonlinear systems after Koopman operator linearization. In: Proceedings of the International Conference on Analysis and Design of Hybrid Systems, pp. 253\u2013258 (2021)","DOI":"10.1016\/j.ifacol.2021.08.507"},{"key":"12_CR3","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/978-3-031-13185-1_24","volume-title":"Computer Aided Verification Computer Aided Verification","author":"S Bak","year":"2022","unstructured":"Bak, S., et al.: Reachability of Koopman linearized systems using random Fourier feature observables and polynomial zonotope refinement. In: Shoham, S., Vizel, Y. (eds.) CAV 2022. LNCS, vol. 13371, pp. 490\u2013510. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-13185-1_24"},{"issue":"2","key":"12_CR4","first-page":"281","volume":"13","author":"J Bergstra","year":"2012","unstructured":"Bergstra, J., Bengio, Y.: Random search for hyper-parameter optimization. J. Mach. Learn. Res. 13(2), 281\u2013305 (2012)","journal-title":"J. Mach. Learn. Res."},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/j.arcontrol.2021.09.002","volume":"52","author":"P Bevanda","year":"2021","unstructured":"Bevanda, P., Sosnowski, S., Hirche, S.: Koopman operator dynamical models: learning, analysis and control. Annu. Rev. Control. 52, 197\u2013212 (2021)","journal-title":"Annu. Rev. Control."},{"issue":"15","key":"12_CR6","doi-asserted-by":"publisher","first-page":"3932","DOI":"10.1073\/pnas.1517384113","volume":"113","author":"SL Brunton","year":"2016","unstructured":"Brunton, S.L., Proctor, J.L., Kutz, J.N.: Discovering governing equations from data by sparse identification of nonlinear dynamical systems. Proc. Natl. Acad. Sci. 113(15), 3932\u20133937 (2016)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/BF02546499","volume":"59","author":"T Carleman","year":"1932","unstructured":"Carleman, T.: Application de la th\u00e9orie des \u00e9quations int\u00e9grales lin\u00e9aires aux syst\u00e8mes d\u2019\u00e9quations diff\u00e9rentielles non lin\u00e9aires. Acta Math. 59, 63\u201387 (1932)","journal-title":"Acta Math."},{"issue":"45","key":"12_CR8","doi-asserted-by":"publisher","first-page":"22445","DOI":"10.1073\/pnas.1906995116","volume":"116","author":"K Champion","year":"2019","unstructured":"Champion, K., Lusch, B., Kutz, J.N., Brunton, S.L.: Data-driven discovery of coordinates and governing equations. Proc. Natl. Acad. Sci. 116(45), 22445\u201322451 (2019)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"12_CR9","unstructured":"Chen, X.: Reachability Analysis of Non-Linear Hybrid Systems Using Taylor Models. Ph.D. thesis, RWTH Aachen University (2015)"},{"issue":"3","key":"12_CR10","doi-asserted-by":"publisher","first-page":"1482","DOI":"10.1137\/17M115414X","volume":"41","author":"AM DeGennaro","year":"2019","unstructured":"DeGennaro, A.M., Urban, N.M.: Scalable extended dynamic mode decomposition using random kernel approximation. SIAM J. Sci. Comput. 41(3), 1482\u20131499 (2019)","journal-title":"SIAM J. Sci. Comput."},{"issue":"22","key":"12_CR11","doi-asserted-by":"publisher","first-page":"530","DOI":"10.21105\/joss.00530","volume":"3","author":"N Demo","year":"2018","unstructured":"Demo, N., Tezzele, M., Rozza, G.: PyDMD: python dynamic mode decomposition. J. Open Source Softw. 3(22), 530 (2018)","journal-title":"J. Open Source Softw."},{"issue":"6","key":"12_CR12","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1016\/S0006-3495(61)86902-6","volume":"1","author":"R FitzHugh","year":"1961","unstructured":"FitzHugh, R.: Impulses and physiological states in theoretical models of nerve membrane. Biophys. J . 1(6), 445\u2013466 (1961)","journal-title":"Biophys. J ."},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Geretti, L., et al.: ARCH-COMP20 category report: continuous and hybrid systems with nonlinear dynamics. In: Proceedings of the International Workshop on Applied Verification of Continuous and Hybrid Systems, pp. 49\u201375 (2020)","DOI":"10.29007\/zkf6"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Geretti, L., et al.: ARCH-COMP21 category report: continuous and hybrid systems with nonlinear dynamics. In: Proceedings of the International Workshop on Applied Verification of Continuous and Hybrid Systems, pp. 32\u201354 (2021)","DOI":"10.29007\/2jw8"},{"key":"12_CR15","unstructured":"Heidlauf, P., Collins, A., Bolender, M., Bak, S.: Verification challenges in F-16 ground collision avoidance and other automated maneuvers. In: Proceedings of the International Workshop on Applied Verification of Continuous and Hybrid Systems, pp. 208\u2013217 (2018)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Kochdumper, N., et al.: Establishing reachset conformance for the formal analysis of analog circuits. In: Proceedings of the Asia and South Pacific Design Automation Conference, pp. 199\u2013204 (2020)","DOI":"10.1109\/ASP-DAC47756.2020.9045120"},{"issue":"5","key":"12_CR17","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1073\/pnas.17.5.315","volume":"17","author":"BO Koopman","year":"1931","unstructured":"Koopman, B.O.: Hamiltonian systems and transformation in Hilbert space. Proc. Natl. Acad. Sci. 17(5), 315\u2013318 (1931)","journal-title":"Proc. Natl. Acad. Sci."},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.automatica.2018.03.046","volume":"93","author":"M Korda","year":"2018","unstructured":"Korda, M., Mezi\u0107, I.: Linear predictors for nonlinear dynamical systems: Koopman operator meets model predictive control. Automatica 93, 149\u2013160 (2018)","journal-title":"Automatica"},{"issue":"2","key":"12_CR19","doi-asserted-by":"publisher","first-page":"713","DOI":"10.1137\/15M1023543","volume":"15","author":"JN Kutz","year":"2016","unstructured":"Kutz, J.N., Fu, X., Brunton, S.L.: Multiresolution dynamic mode decomposition. SIAM J. Appl. Dyn. Syst. 15(2), 713\u2013735 (2016)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"12_CR20","unstructured":"Li, Y., et al.: Learning compositional Koopman operators for model-based control. In: Proceedings of the International Conference on Learning Representations (2020)"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Liu, S.B., Althoff, M.: Reachset conformance of forward dynamic models for the formal analysis of robots. In: Proceedings of the International Conference on Intelligent Robots and Systems, pp. 370\u2013376 (2018)","DOI":"10.1109\/IROS.2018.8593975"},{"key":"12_CR22","doi-asserted-by":"publisher","first-page":"4950","DOI":"10.1038\/s41467-018-07210-0","volume":"9","author":"B Lusch","year":"2018","unstructured":"Lusch, B., Kutz, J.N., Brunton, S.L.: Deep learning for universal linear embeddings of nonlinear dynamics. Nat. Commun. 9, 4950 (2018)","journal-title":"Nat. Commun."},{"issue":"9","key":"12_CR23","doi-asserted-by":"publisher","first-page":"2341","DOI":"10.1109\/TAC.2015.2491740","volume":"61","author":"M Ma\u00efga","year":"2015","unstructured":"Ma\u00efga, M., Ramdani, N., Trav\u00e9-Massuy\u00e8, L., Combastel, C.: A comprehensive method for reachability analysis of uncertain nonlinear hybrid systems. Trans. Autom. Control 61(9), 2341\u20132356 (2015)","journal-title":"Trans. Autom. Control"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Meiss, J.D.: Differential Dynamical Systems. SIAM (2007)","DOI":"10.1137\/1.9780898718232"},{"issue":"1","key":"12_CR25","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/s11071-005-2824-x","volume":"41","author":"I Mezi\u0107","year":"2005","unstructured":"Mezi\u0107, I.: Spectral properties of dynamical systems, model reduction and decompositions. Nonlinear Dyn. 41(1), 309\u2013325 (2005)","journal-title":"Nonlinear Dyn."},{"key":"12_CR26","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1146\/annurev-fluid-011212-140652","volume":"45","author":"I Mezi\u0107","year":"2013","unstructured":"Mezi\u0107, I.: Analysis of fluid flows via spectral properties of the Koopman operator. Annu. Rev. Fluid Mech. 45, 357\u2013378 (2013)","journal-title":"Annu. Rev. Fluid Mech."},{"issue":"1\u20132","key":"12_CR27","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.physd.2004.06.015","volume":"197","author":"I Mezi\u0107","year":"2004","unstructured":"Mezi\u0107, I., Banaszuk, A.: Comparison of systems with complex behavior. Physica D 197(1\u20132), 101\u2013133 (2004)","journal-title":"Physica D"},{"key":"12_CR28","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/j.neucom.2020.02.015","volume":"399","author":"C Michoski","year":"2020","unstructured":"Michoski, C., Milosavljevi\u0107, M., Oliver, T., Hatch, D.R.: Solving differential equations using deep neural networks. Neurocomputing 399, 193\u2013212 (2020)","journal-title":"Neurocomputing"},{"key":"12_CR29","unstructured":"Morton, J., Jameson, A., Kochenderfer, M.J., Witherden, F.: Deep dynamical modeling and control of unsteady fluid flows. In: Advances in Neural Information Processing Systems, vol. 31 (2018)"},{"key":"12_CR30","first-page":"77","volume":"123","author":"M O\u2019Kelly","year":"2020","unstructured":"O\u2019Kelly, M., Zheng, H., Karthik, D., Mangharam, R.: F1tenth: an open-source evaluation environment for continuous control and reinforcement learning. Proc. Mach. Learn. Res. 123, 77\u201389 (2020)","journal-title":"Proc. Mach. Learn. Res."},{"key":"12_CR31","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1146\/annurev-control-071020-010108","volume":"4","author":"SE Otto","year":"2021","unstructured":"Otto, S.E., Rowley, C.W.: Koopman operators for estimation and control of dynamical systems. Ann. Rev. Control, Robot. Auton. Syst. 4, 59\u201387 (2021)","journal-title":"Ann. Rev. Control, Robot. Auton. Syst."},{"key":"12_CR32","unstructured":"Pan, S., Kaiser, E., Kutz, N., Brunton, S.: PyKoopman: a python package for data-driven approximation of the Koopman operator. Bull. Am. Phys. Soc. (2022)"},{"issue":"1","key":"12_CR33","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1137\/15M1013857","volume":"15","author":"JL Proctor","year":"2016","unstructured":"Proctor, J.L., Brunton, S.L., Kutz, J.N.: Dynamic mode decomposition with control. SIAM J. Appl. Dyn. Syst. 15(1), 142\u2013161 (2016)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"12_CR34","unstructured":"Rahimi, A., Recht, B.: Random features for large-scale kernel machines. In: Proceedings of the International Conference on Neural Information Processing Systems, pp. 1177\u20131184 (2007)"},{"key":"12_CR35","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0022112009992059","volume":"641","author":"CW Rowley","year":"2009","unstructured":"Rowley, C.W., et al.: Spectral analysis of nonlinear flows. J. Fluid Mech. 641, 115\u2013127 (2009)","journal-title":"J. Fluid Mech."},{"key":"12_CR36","doi-asserted-by":"crossref","unstructured":"Sankaranarayanan, S.: Automatic abstraction of non-linear systems using change of bases transformations. In: Proceedings of the International Conference on Hybrid Systems: Computation and Control, pp. 143\u2013152 (2011)","DOI":"10.1145\/1967701.1967723"},{"key":"12_CR37","doi-asserted-by":"crossref","unstructured":"Schmid, M.R., Maehlisch, M., Dickmann, J., Wuensche, H.J.: Dynamic level of detail 3D occupancy grids for automotive use. In: Proceedings of the IEEE Intelligent Vehicles Symposium, pp. 269\u2013274 (2010)","DOI":"10.1109\/IVS.2010.5548088"},{"issue":"1","key":"12_CR38","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1109\/JPROC.2015.2494218","volume":"104","author":"B Shahriari","year":"2015","unstructured":"Shahriari, B., et al.: Taking the human out of the loop: a review of Bayesian optimization. Proc. IEEE 104(1), 148\u2013175 (2015)","journal-title":"Proc. IEEE"},{"issue":"49","key":"12_CR39","doi-asserted-by":"publisher","first-page":"2014","DOI":"10.21105\/joss.02104","volume":"5","author":"B de Silva","year":"2020","unstructured":"de Silva, B., et al.: PySINDy: a python package for the sparse identification of nonlinear dynamical systems from data. J. Open Source Softw. 5(49), 2014 (2020)","journal-title":"J. Open Source Softw."},{"key":"12_CR40","volume-title":"Physics for Students of Science and Engineering","author":"AL Stanford","year":"2014","unstructured":"Stanford, A.L., Tanner, J.M.: Physics for Students of Science and Engineering. Academic Press, Cambridge (2014)"},{"key":"12_CR41","doi-asserted-by":"crossref","unstructured":"Takeishi, N., Kawahara, Y., Tabei, Y., Yairi, T.: Bayesian dynamic mode decomposition. In: Proceedings of the AAAI Conference on Artificial Intelligence, pp. 2814\u20132821 (2017)","DOI":"10.24963\/ijcai.2017\/392"},{"key":"12_CR42","doi-asserted-by":"crossref","unstructured":"Takeishi, N., Kawahara, Y., Yairi, T.: Learning Koopman invariant subspaces for dynamic mode decomposition (2017)","DOI":"10.24963\/ijcai.2017\/392"},{"issue":"6","key":"12_CR43","doi-asserted-by":"publisher","first-page":"1307","DOI":"10.1007\/s00332-015-9258-5","volume":"25","author":"MO Williams","year":"2015","unstructured":"Williams, M.O., Kevrekidis, I.G., Rowley, C.W.: A data-driven approximation of the Koopman operator: extending dynamic mode decomposition. J. Nonlinear Sci. 25(6), 1307\u20131346 (2015)","journal-title":"J. Nonlinear Sci."},{"issue":"2","key":"12_CR44","doi-asserted-by":"publisher","first-page":"247","DOI":"10.3934\/jcd.2015005","volume":"2","author":"MO Williams","year":"2014","unstructured":"Williams, M.O., Rowley, C.W., Kevrekidis, I.G.: A kernel-based approach to data-driven Koopman spectral analysis. J. Comput. Dyn. 2(2), 247\u2013265 (2014)","journal-title":"J. Comput. Dyn."},{"key":"12_CR45","doi-asserted-by":"crossref","unstructured":"Xiao, Y., et al.: Deep neural networks with Koopman operators for modeling and control of autonomous vehicles. Trans. Intelli. Veh. 8, 135\u2013146 (2022). IEEE Early Access","DOI":"10.1109\/TIV.2022.3180337"},{"key":"12_CR46","doi-asserted-by":"crossref","unstructured":"Yeung, E., Kundu, S., Hodas, N.: Learning deep neural network representations for Koopman operators of nonlinear dynamical systems. In: Proceedings of the American Control Conference, pp. 4832\u20134839 (2019)","DOI":"10.23919\/ACC.2019.8815339"}],"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-031-45332-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T00:54:46Z","timestamp":1730336086000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-45332-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031453311","9783031453328"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-45332-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"19 October 2023","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":"Singapore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"atva2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/atva-conference.org\/2023\/","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":"115","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":"30","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":"26% - 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.05","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":"9","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7 tool papers","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)"}}]}}