{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:06:01Z","timestamp":1742929561063,"version":"3.40.3"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030582975"},{"type":"electronic","value":"9783030582982"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-58298-2_7","type":"book-chapter","created":{"date-parts":[[2020,8,28]],"date-time":"2020-08-28T18:04:52Z","timestamp":1598637892000},"page":"170-188","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Formally Verified Plasma Vertical Position Control Algorithm"],"prefix":"10.1007","author":[{"given":"May","family":"Wu","sequence":"first","affiliation":[]},{"given":"Jessie","family":"Rosenberg","sequence":"additional","affiliation":[]},{"given":"Nathan","family":"Fulton","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,8,29]]},"reference":[{"key":"7_CR1","unstructured":"Peeters, A.G.: The Physics of Fusion Power (2008)"},{"key":"7_CR2","series-title":"Mathematical Engineering","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-642-15956-5_4","volume-title":"Modeling, Design, and Simulation of Systems with Uncertainties","author":"M Althoff","year":"2011","unstructured":"Althoff, M., Krogh, B.H., Stursberg, O.: Analyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties. In: Rauh, A., Auer, E. (eds.) Modeling, Design, and Simulation of Systems with Uncertainties. Mathematical Engineering, vol. 3, pp. 69\u201394. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-15956-5_4"},{"issue":"5","key":"7_CR3","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/MCS.2005.1512797","volume":"25","author":"G Ambrosino","year":"2005","unstructured":"Ambrosino, G., Albanese, R.: Magnetic control of plasma current, position, and shape in tokamaks: a survey or modeling and control approaches. IEEE Control Syst. Mag. 25(5), 76\u201392 (2005)","journal-title":"IEEE Control Syst. Mag."},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Bajaj, V., Elmaaroufi, K., Fulton, N., Platzer, A.: Verifiably safe scuba diving using commodity sensors: work-in-progress. In Proceedings of the International Conference on Embedded Software Companion, EMSOFT 2019, New York, NY, USA (2019). Association for Computing Machinery","DOI":"10.1145\/3349568.3351554"},{"key":"7_CR5","unstructured":"Bulgakov, A.A.: A new theory of controlled rectifiers (1970). (in Russian)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Chen, X., Sankaranarayanan, S.: Decomposed reachability analysis for nonlinear systems. In: 2016 IEEE Real-Time Systems Symposium (RTSS), pp. 13\u201324 (2016)","DOI":"10.1109\/RTSS.2016.011"},{"issue":"3","key":"7_CR7","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"GE Collins","year":"1991","unstructured":"Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput. 12(3), 299\u2013328 (1991)","journal-title":"J. Symb. Comput."},{"issue":"3","key":"7_CR8","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1007\/s10894-018-0162-5","volume":"38","author":"G De Tommasi","year":"2019","unstructured":"De Tommasi, G.: Plasma magnetic control in tokamak devices. J. Fusion Energy 38(3), 406\u2013436 (2019)","journal-title":"J. Fusion Energy"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"A. Kallenbach for the ASDEX Upgrade Team and the EUROfusion MST1 Team: Overview of ASDEX upgrade results. Nucl. Fusion 57 (2017)","DOI":"10.1088\/1741-4326\/aa64f6"},{"issue":"3","key":"7_CR10","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/s10009-007-0062-x","volume":"10","author":"G Frehse","year":"2008","unstructured":"Frehse, G.: PHAVer: algorithmic verification of hybrid systems past HyTech. STTT 10(3), 263\u2013279 (2008)","journal-title":"STTT"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","volume-title":"Computer Aided Verification","author":"G Frehse","year":"2011","unstructured":"Frehse, G., et al.: SpaceEx: scalable verification of hybrid systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 379\u2013395. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_30"},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-319-66107-0_14","volume-title":"Interactive Theorem Proving","author":"N Fulton","year":"2017","unstructured":"Fulton, N., Mitsch, S., Bohrer, B., Platzer, A.: Bellerophon: tactical theorem proving for\u00a0hybrid systems. In: Ayala-Rinc\u00f3n, M., Mu\u00f1oz, C.A. (eds.) ITP 2017. LNCS, vol. 10499, pp. 207\u2013224. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66107-0_14"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/978-3-319-21401-6_36","volume-title":"Automated Deduction - CADE-25","author":"N Fulton","year":"2015","unstructured":"Fulton, N., Mitsch, S., Quesel, J.-D., V\u00f6lp, M., Platzer, A.: KeYmaera\u00a0X: an axiomatic tactical theorem prover for hybrid systems. In: Felty, A.P., Middeldorp, A. (eds.) CADE 2015. LNCS (LNAI), vol. 9195, pp. 527\u2013538. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21401-6_36"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Fulton, N., Platzer, A.: Safe reinforcement learning via formal methods: toward safe control through proof and learning. In: McIlraith, S., Weinberger, K. (eds.) Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018), pp. 6485\u20136492. AAAI Press (2018)","DOI":"10.1609\/aaai.v32i1.12107"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/978-3-030-17462-0_28","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"N Fulton","year":"2019","unstructured":"Fulton, N., Platzer, A.: Verifiably safe off-model reinforcement learning. In: Vojnar, T., Zhang, L. (eds.) TACAS 2019, Part I. LNCS, vol. 11427, pp. 413\u2013430. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17462-0_28"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-38574-2_14","volume-title":"Automated Deduction \u2013 CADE-24","author":"S Gao","year":"2013","unstructured":"Gao, S., Kong, S., Clarke, E.M.: dReal: an SMT solver for nonlinear theories over the reals. In: Bonacina, M.P. (ed.) CADE 2013. LNCS (LNAI), vol. 7898, pp. 208\u2013214. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38574-2_14"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Garcia, L., Mitsch, S., Platzer, A.: HyPLC: hybrid programmable logic controller program translation for verification. In: Bushnell, L., Pajic, M. (eds.) ICCPS, pp. 47\u201356 (2019)","DOI":"10.1145\/3302509.3311036"},{"issue":"10","key":"7_CR18","first-page":"702","volume":"11","author":"K Ghorbal","year":"2014","unstructured":"Ghorbal, K., Jeannin, J.-B., Zawadzki, E., Platzer, A., Gordon, G.J., Capell, P.: Hybrid theorem proving of aerospace systems: applications and challenges. J. Aerospace Inf. Sys. 11(10), 702\u2013713 (2014)","journal-title":"J. Aerospace Inf. Sys."},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Hunt, N., Fulton, N., Magliacane, S., Hoang, N., Das, S., Solar-Lezama, A.: Verifiably safe exploration for end-to-end reinforcement learning. arXiv preprint arXiv:2007.01223 (2020)","DOI":"10.1145\/3447928.3456653"},{"issue":"3","key":"7_CR20","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MCSE.2007.55","volume":"9","author":"JD Hunter","year":"2007","unstructured":"Hunter, J.D.: Matplotlib: a 2D graphics environment. Comput. Sci. Eng. 9(3), 90\u201395 (2007)","journal-title":"Comput. Sci. Eng."},{"key":"7_CR21","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0022-3115(94)00447-1","volume":"220\u2013222","author":"G Janeschitz","year":"1995","unstructured":"Janeschitz, G., et al.: The ITER divertor concept. J. Nucl. Mater. 220\u2013222, 73\u201388 (1995). Plasma-Surface Interactions in Controlled Fusion Devices","journal-title":"J. Nucl. Mater."},{"issue":"10A","key":"7_CR22","doi-asserted-by":"publisher","first-page":"1401","DOI":"10.1088\/0741-3335\/29\/10A\/320","volume":"29","author":"M Keilhacker","year":"1987","unstructured":"Keilhacker, M.: H-mode confinement in tokamaks. Plasma Phys. Control. Fusion 29(10A), 1401\u20131413 (1987)","journal-title":"Plasma Phys. Control. Fusion"},{"issue":"2","key":"7_CR23","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1006\/jcph.1993.1211","volume":"109","author":"RR Khayrutdinov","year":"1993","unstructured":"Khayrutdinov, R.R., Lukash, V.E.: Studies of plasma equilibrium and transport in a tokamak fusion device with the inverse-variable technique. J. Comput. Phys. 109(2), 193\u2013201 (1993)","journal-title":"J. Comput. Phys."},{"key":"7_CR24","unstructured":"Kirnev, G.S., et al.: Superconducting tokamak T-15 upgrade. In FT\/P7-3, Proceedings of the 21st IAEA Fusion Energy Conference (2006)"},{"key":"7_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-662-46681-0_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Kong","year":"2015","unstructured":"Kong, S., Gao, S., Chen, W., Clarke, E.: dReach: $${\\delta }$$-reachability analysis for hybrid systems. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 200\u2013205. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_15"},{"key":"7_CR26","unstructured":"Lahtinen, J.: Model checking large nuclear power plant safety system designs: dissertation. Ph.D. thesis, Aalto University, Finland, 2016. BA1606 SDA: SHP: SASUNE Nuclear Project code: 108550 165 p. + app. 75"},{"key":"7_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-21437-0_6","volume-title":"FM 2011: Formal Methods","author":"SM Loos","year":"2011","unstructured":"Loos, S.M., Platzer, A., Nistor, L.: Adaptive cruise control: hybrid, distributed, and now formally verified. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 42\u201356. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21437-0_6"},{"key":"7_CR28","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.fusengdes.2016.04.026","volume":"108","author":"YV Mitrishkin","year":"2016","unstructured":"Mitrishkin, Y.V., Pavlova, E.A., Kuznetsov, E.A., Gaydamaka, K.I.: Continuous, saturation, and discontinuous tokamak plasma vertical position control systems. Fusion Eng. Des. 108, 35\u201347 (2016)","journal-title":"Fusion Eng. Des."},{"issue":"6","key":"7_CR29","doi-asserted-by":"publisher","first-page":"615","DOI":"10.1007\/s10009-018-0502-9","volume":"20","author":"A M\u00fcller","year":"2018","unstructured":"M\u00fcller, A., Mitsch, S., Retschitzegger, W., Schwinger, W., Platzer, A.: Tactical contract composition for hybrid system component verification. STTT 20(6), 615\u2013643 (2018). Special issue for selected papers from FASE\u201917","journal-title":"STTT"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"N\u00e9meth, E., Bartha, T., Fazekas, Cs., Hangos, K.M.: Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets. Reliab. Eng. Syst. Saf. 94(5), 942\u2013953 (2009)","DOI":"10.1016\/j.ress.2008.10.012"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Pakonen, A. , M\u00e4t\u00e4sniemi, T., Lahtinen, J., Karhela, T.: A toolset for model checking of plc software. In: 2013 IEEE 18th Conference on Emerging Technologies Factory Automation (ETFA), pp. 1\u20136 (2013)","DOI":"10.1109\/ETFA.2013.6648065"},{"issue":"5","key":"7_CR32","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/MCS.2005.1512794","volume":"25","author":"A Pironti","year":"2005","unstructured":"Pironti, A., Walker, M.: Fusion, tokamaks, and plasma control: an introduction and tutorial. IEEE Control Syst. Mag. 25(5), 30\u201343 (2005)","journal-title":"IEEE Control Syst. Mag."},{"issue":"2","key":"7_CR33","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10817-008-9103-8","volume":"41","author":"A Platzer","year":"2008","unstructured":"Platzer, A.: Differential dynamic logic for hybrid systems. J. Autom. Reas. 41(2), 143\u2013189 (2008)","journal-title":"J. Autom. Reas."},{"key":"7_CR34","doi-asserted-by":"crossref","unstructured":"Platzer, A.: The complete proof theory of hybrid systems. In: LICS, pp. 541\u2013550. IEEE (2012)","DOI":"10.1109\/LICS.2012.64"},{"key":"7_CR35","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/978-3-319-21401-6_32","volume-title":"Automated Deduction - CADE-25","author":"A Platzer","year":"2015","unstructured":"Platzer, A.: A uniform substitution calculus for differential dynamic logic. In: Felty, A.P., Middeldorp, A. (eds.) CADE 2015. LNCS (LNAI), vol. 9195, pp. 467\u2013481. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21401-6_32"},{"key":"7_CR36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63588-0","volume-title":"Logical Foundations of Cyber-Physical Systems","author":"A Platzer","year":"2018","unstructured":"Platzer, A.: Logical Foundations of Cyber-Physical Systems. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-63588-0"},{"issue":"8","key":"7_CR37","doi-asserted-by":"publisher","first-page":"084004","DOI":"10.1088\/1361-6587\/aac7fe","volume":"60","author":"C Rea","year":"2018","unstructured":"Rea, C., et al.: Disruption prediction investigations using machine learning tools on DIII-D and Alcator C-Mod. Plasma Phys. Control. Fusion 60(8), 084004 (2018)","journal-title":"Plasma Phys. Control. Fusion"},{"issue":"1\u20132","key":"7_CR38","first-page":"89","volume":"74","author":"R Cristina","year":"2018","unstructured":"Cristina, R., Granetz, R.S.: Exploratory machine learning studies for disruption prediction using large databases on DIII-D. Fusion Sci. Technol. 74(1\u20132), 89\u2013100 (2018)","journal-title":"Fusion Sci. Technol."},{"issue":"9Y","key":"7_CR39","doi-asserted-by":"publisher","first-page":"1295","DOI":"10.1088\/0029-5515\/39\/9Y\/307","volume":"39","author":"Y Shimomura","year":"1999","unstructured":"Shimomura, Y., Aymar, R., Chuyanov, V., Huguet, M., Parker, R., et al.: ITER overview. Nucl. Fusion 39(9Y), 1295 (1999)","journal-title":"Nucl. Fusion"},{"key":"7_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-030-30942-8_10","volume-title":"Formal Methods \u2013 The Next 30 Years","author":"A Sogokon","year":"2019","unstructured":"Sogokon, A., Mitsch, S., Tan, Y.K., Cordwell, K., Platzer, A.: Pegasus: a framework for sound continuous invariant generation. In: ter Beek, M.H., McIver, A., Oliveira, J.N. (eds.) FM 2019. LNCS, vol. 11800, pp. 138\u2013157. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30942-8_10"},{"key":"7_CR41","unstructured":"Tarski, A.: A decision method for elementary algebra and geometry (1948)"},{"key":"7_CR42","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1038\/s41592-019-0686-2","volume":"17","author":"P Virtanen","year":"2020","unstructured":"Virtanen, P., et al.: SciPy 1.0: fundamental algorithms for scientific computing in Python. Nat. Methods 17, 261\u2013272 (2020)","journal-title":"Nat. Methods"},{"key":"7_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-45236-2_9","volume-title":"FME 2003: Formal Methods","author":"A Wassyng","year":"2003","unstructured":"Wassyng, A., Lawford, M.: Lessons learned from a successful implementation of formal methods in an industrial project. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 133\u2013153. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-45236-2_9"},{"key":"7_CR44","doi-asserted-by":"publisher","DOI":"10.1002\/9780470117873","volume-title":"Linear State-Space Control Systems","author":"RL Williams","year":"2007","unstructured":"Williams, R.L., Lawrence, D.A., et al.: Linear State-Space Control Systems. Wiley, Hoboken (2007)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-58298-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T06:03:17Z","timestamp":1707458597000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-58298-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030582975","9783030582982"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-58298-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"29 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Methods for Industrial Critical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vienna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 September 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 September 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmics2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fmics20.ait.ac.at\/","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":"26","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":"11","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":"42% - 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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to 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)"}}]}}