{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T22:15:12Z","timestamp":1757456112135,"version":"3.40.3"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030557539"},{"type":"electronic","value":"9783030557546"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/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":"http:\/\/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-55754-6_3","type":"book-chapter","created":{"date-parts":[[2020,8,9]],"date-time":"2020-08-09T23:02:37Z","timestamp":1597014157000},"page":"41-59","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Parameter Synthesis and Robustness Analysis of Rule-Based Models"],"prefix":"10.1007","author":[{"given":"Matej","family":"Troj\u00e1k","sequence":"first","affiliation":[]},{"given":"David","family":"\u0160afr\u00e1nek","sequence":"additional","affiliation":[]},{"given":"Lukr\u00e9cia","family":"Mertov\u00e1","sequence":"additional","affiliation":[]},{"given":"Lubo\u0161","family":"Brim","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,8,10]]},"reference":[{"issue":"4","key":"3_CR1","first-page":"1180","volume":"15","author":"M Backenk\u00f6hler","year":"2018","unstructured":"Backenk\u00f6hler, M., Bortolussi, L., Wolf, V.: Moment-based parameter estimation for stochastic reaction networks in equilibrium. TCBB 15(4), 1180\u20131192 (2018)","journal-title":"TCBB"},{"issue":"6","key":"3_CR2","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1109\/TSE.2003.1205180","volume":"29","author":"C Baier","year":"2003","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Softw. Eng. 29(6), 524\u2013541 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"33\u201334","key":"3_CR3","doi-asserted-by":"publisher","first-page":"3085","DOI":"10.1016\/j.tcs.2008.09.032","volume":"410","author":"R Barbuti","year":"2009","unstructured":"Barbuti, R., Caravagna, G., Maggiolo-Schettini, A., Milazzo, P.: An intermediate language for the stochastic simulation of biological systems. TCS 410(33\u201334), 3085\u20133109 (2009)","journal-title":"TCS"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2011.10.022","volume":"419","author":"R Barbuti","year":"2012","unstructured":"Barbuti, R., Levi, F., Milazzo, P., Scatena, G.: Probabilistic model checking of biological systems with uncertain kinetic rates. TCS 419, 2\u201316 (2012)","journal-title":"TCS"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Bartocci, E., Bortolussi, L., Nenzi, L., Sanguinetti, G.: On the robustness of temporal properties for stochastic models. arXiv preprint arXiv:1309.0866 (2013)","DOI":"10.4204\/EPTCS.125.1"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-319-26916-0_8","volume-title":"Hybrid Systems Biology","author":"C Bock","year":"2015","unstructured":"Bock, C., Bortolussi, L., Kr\u00fcger, T., Mikeev, L., Wolf, V.: Model-based whole-genome analysis of DNA methylation fidelity. In: Abate, A., \u0160afr\u00e1nek, D. (eds.) HSB 2015. LNCS, vol. 9271, pp. 141\u2013155. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-26916-0_8"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-642-05089-3_2","volume-title":"FM 2009: Formal Methods","author":"N Bonzanni","year":"2009","unstructured":"Bonzanni, N., Feenstra, K.A., Fokkink, W., Krepska, E.: What can formal methods bring to systems biology? In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 16\u201322. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-05089-3_2"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.ic.2016.01.004","volume":"247","author":"L Bortolussi","year":"2016","unstructured":"Bortolussi, L., Milios, D., Sanguinetti, G.: Smoothed model checking for uncertain continuous-time Markov chains. Inform. Comput. 247, 235\u2013253 (2016)","journal-title":"Inform. Comput."},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-319-89963-3_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Bortolussi","year":"2018","unstructured":"Bortolussi, L., Silvetti, S.: Bayesian statistical parameter synthesis for linear temporal properties of stochastic models. In: Beyer, D., Huisman, M. (eds.) TACAS 2018. LNCS, vol. 10806, pp. 396\u2013413. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-89963-3_23"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-642-38874-3_3","volume-title":"Formal Methods for Dynamical Systems","author":"L Brim","year":"2013","unstructured":"Brim, L., \u010ce\u0161ka, M., \u0160afr\u00e1nek, D.: Model checking of biological systems. In: Bernardo, M., de Vink, E., Di Pierro, A., Wiklicky, H. (eds.) SFM 2013. LNCS, vol. 7938, pp. 63\u2013112. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38874-3_3"},{"issue":"14","key":"3_CR11","doi-asserted-by":"publisher","first-page":"1805","DOI":"10.1093\/bioinformatics\/btl172","volume":"22","author":"L Calzone","year":"2006","unstructured":"Calzone, L., Fages, F., Soliman, S.: BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14), 1805\u20131807 (2006)","journal-title":"Bioinformatics"},{"issue":"4","key":"3_CR12","doi-asserted-by":"publisher","first-page":"e94553","DOI":"10.1371\/journal.pone.0094553","volume":"9","author":"M \u010ceska","year":"2014","unstructured":"\u010ceska, M., \u0160afr\u00e1nek, D., Dra\u017ean, S., Brim, L.: Robustness analysis of stochastic biochemical systems. PLoS ONE 9(4), e94553 (2014)","journal-title":"PLoS ONE"},{"issue":"3","key":"3_CR13","first-page":"103","volume":"194","author":"F Ciocchetta","year":"2008","unstructured":"Ciocchetta, F., Hillston, J.: Bio-PEPA: an extension of the process algebra PEPA for biochemical networks. ENTCS 194(3), 103\u2013117 (2008)","journal-title":"ENTCS"},{"issue":"2","key":"3_CR14","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. (TOPLAS) 8(2), 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"issue":"1","key":"3_CR15","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.tcs.2004.03.065","volume":"325","author":"V Danos","year":"2004","unstructured":"Danos, V., Laneve, C.: Formal molecular biology. Theor. Comput. Sci. 325(1), 69\u2013110 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1007\/978-3-540-31862-0_21","volume-title":"Theoretical Aspects of Computing - ICTAC 2004","author":"C Daws","year":"2005","unstructured":"Daws, C.: Symbolic and parametric model checking of discrete-time Markov chains. In: Liu, Z., Araki, K. (eds.) ICTAC 2004. LNCS, vol. 3407, pp. 280\u2013294. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31862-0_21"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/978-3-319-21690-4_13","volume-title":"Computer Aided Verification","author":"C Dehnert","year":"2015","unstructured":"Dehnert, C., et al.: PROPhESY: A PRObabilistic ParamEter SYnthesis tool. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 214\u2013231. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21690-4_13"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/978-3-319-63390-9_31","volume-title":"Computer Aided Verification","author":"C Dehnert","year":"2017","unstructured":"Dehnert, C., Junges, S., Katoen, J.-P., Volk, M.: A storm is coming: a modern probabilistic model checker. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10427, pp. 592\u2013600. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63390-9_31"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-1-59745-525-1_5","volume":"500","author":"JR Faeder","year":"2009","unstructured":"Faeder, J.R., Blinov, M.L., Hlavacek, W.S., et al.: Rule-based modeling of biochemical systems with BioNetGen. Methods Mol. Biol. 500, 113\u2013167 (2009)","journal-title":"Methods Mol. Biol."},{"issue":"11","key":"3_CR20","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J Fisher","year":"2007","unstructured":"Fisher, J., Henzinger, T.A.: Executable cell biology. Nat. Biotechnol. 25(11), 1239 (2007)","journal-title":"Nat. Biotechnol."},{"issue":"25","key":"3_CR21","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340\u20132361 (1977)","journal-title":"J. Phys. Chem."},{"issue":"1","key":"3_CR22","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10009-010-0146-x","volume":"13","author":"EM Hahn","year":"2011","unstructured":"Hahn, E.M., Hermanns, H., Zhang, L.: Probabilistic reachability for parametric Markov models. STTT 13(1), 3\u201319 (2011)","journal-title":"STTT"},{"key":"3_CR23","first-page":"512","volume":"6","author":"H Hasson","year":"1994","unstructured":"Hasson, H., Jonsson, B.: A logic for reasoning about time and probability. FAOC 6, 512\u2013535 (1994)","journal-title":"FAOC"},{"key":"3_CR24","first-page":"49","volume":"335","author":"R Honorato-Zimmer","year":"2017","unstructured":"Honorato-Zimmer, R., Millar, A.J., Plotkin, G.D., Zardilis, A.: Chromar, a rule-based language of parameterised objects. TCS 335, 49\u201366 (2017)","journal-title":"TCS"},{"key":"3_CR25","unstructured":"Hopcroft, J.E.: Introduction to Automata Theory, Languages, and Computation. Pearson Education India (2008)"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Hutschenreiter, L., Baier, C., Klein, J.: Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. arXiv preprint arXiv:1709.02093 (2017)","DOI":"10.4204\/EPTCS.256.2"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1007\/978-3-319-10696-0_31","volume-title":"Quantitative Evaluation of Systems","author":"N Jansen","year":"2014","unstructured":"Jansen, N., et al.: Accelerating parametric probabilistic verification. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 404\u2013420. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10696-0_31"},{"key":"3_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","volume-title":"Computational Methods in Systems Biology","author":"SK Jha","year":"2009","unstructured":"Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A Bayesian approach to model checking biological systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 218\u2013234. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03845-7_15"},{"key":"3_CR29","unstructured":"Jones, E., Oliphant, T., Peterson, P., et al.: SciPy: open source scientific tools for Python (2001). http:\/\/www.scipy.org\/"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Khalid, A., Jha, S.K.: Calibration of rule-based stochastic biochemical models using statistical model checking. In: 2018 IEEE BIBM, pp. 179\u2013184 (2018)","DOI":"10.1109\/BIBM.2018.8621292"},{"issue":"1","key":"3_CR31","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1038\/msb4100179","volume":"3","author":"H Kitano","year":"2007","unstructured":"Kitano, H.: Towards a theory of biological robustness. Mol. Syst. Biol. 3(1), 137 (2007)","journal-title":"Mol. Syst. Biol."},{"issue":"2","key":"3_CR32","first-page":"5","volume":"153","author":"M Kwiatkowska","year":"2006","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Quantitative analysis with the probabilistic model checker PRISM. ENTCS 153(2), 5\u201331 (2006)","journal-title":"ENTCS"},{"issue":"1","key":"3_CR33","first-page":"93","volume":"19","author":"R Lanotte","year":"2007","unstructured":"Lanotte, R., Maggiolo-Schettini, A., Troina, A.: Parametric probabilistic transition systems for system design and analysis. FAOC 19(1), 93\u2013109 (2007)","journal-title":"FAOC"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Liu, B., Faeder, J.R.: Parameter estimation of rule-based models using statistical model checking. In: 2016 IEEE BIBM, pp. 1453\u20131459. IEEE (2016)","DOI":"10.1109\/BIBM.2016.7822738"},{"issue":"1","key":"3_CR35","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1186\/s12918-016-0342-8","volume":"10","author":"A L\u00fcck","year":"2016","unstructured":"L\u00fcck, A., Wolf, V.: Generalized method of moments for estimating parameters of stochastic reaction networks. BMC Syst. Biol. 10(1), 98 (2016)","journal-title":"BMC Syst. Biol."},{"key":"3_CR36","doi-asserted-by":"publisher","first-page":"e103","DOI":"10.7717\/peerj-cs.103","volume":"3","author":"A Meurer","year":"2017","unstructured":"Meurer, A., et al.: SymPy: symbolic computing in Python. PeerJ Comput. Sci. 3, e103 (2017)","journal-title":"PeerJ Comput. Sci."},{"issue":"1","key":"3_CR37","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1177\/0748730406295749","volume":"22","author":"F Miyoshi","year":"2007","unstructured":"Miyoshi, F., Nakayama, Y., Kaizu, K., Iwasaki, H., Tomita, M.: A mathematical model for the Kai-protein-based chemical oscillator and clock gene expression rhythms in cyanobacteria. J. Biol. Rhythms 22(1), 69\u201380 (2007)","journal-title":"J. Biol. Rhythms"},{"key":"3_CR38","doi-asserted-by":"publisher","unstructured":"Nedbal, L., \u010cerven\u00fd, J., Schmidt, H.: Scaling and integration of kinetic models of photosynthesis: towards comprehensive e-photosynthesis. In: Laisk, A., Nedbal, L., Govindjee (eds.) Photosynthesis in Silico. AIPH, pp. 17\u201329. Springer, Dordrecht (2009). https:\/\/doi.org\/10.1007\/978-1-4020-9237-4_2","DOI":"10.1007\/978-1-4020-9237-4_2"},{"key":"3_CR39","first-page":"1","volume":"10","author":"M Pedersen","year":"2015","unstructured":"Pedersen, M., Phillips, A., Plotkin, G.D.: A high-level language for rule-based modelling. PLoS ONE 10, 1\u201326 (2015)","journal-title":"PLoS ONE"},{"key":"3_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-319-46520-3_4","volume-title":"Automated Technology for Verification and Analysis","author":"T Quatmann","year":"2016","unstructured":"Quatmann, T., Dehnert, C., Jansen, N., Junges, S., Katoen, J.-P.: Parameter synthesis for markov models: faster than ever. In: Artho, C., Legay, A., Peled, D. (eds.) ATVA 2016. LNCS, vol. 9938, pp. 50\u201367. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46520-3_4"},{"key":"3_CR41","doi-asserted-by":"crossref","unstructured":"Romers, J.C., Krantz, M.: rxncon 2.0: a language for executable molecular systems biology. bioRxiv (2017)","DOI":"10.1101\/107136"},{"key":"3_CR42","unstructured":"Troj\u00e1k, M., \u0160afr\u00e1nek, D., Brim, L.: Executable biochemical space for specification and analysis of biochemical systems. In: SASB (2018, to appear)"},{"key":"3_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-319-45177-0_20","volume-title":"Computational Methods in Systems Biology","author":"M Troj\u00e1k","year":"2016","unstructured":"Troj\u00e1k, M., \u0160afr\u00e1nek, D., Hrabec, J., \u0160alagovi\u010d, J., Romanovsk\u00e1, F., \u010cerven\u00fd, J.: E-Cyanobacterium.org: a web-based platform for systems biology of cyanobacteria. In: Bartocci, E., Lio, P., Paoletti, N. (eds.) CMSB 2016. LNCS, vol. 9859, pp. 316\u2013322. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45177-0_20"},{"issue":"3","key":"3_CR44","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/s00285-003-0211-0","volume":"47","author":"M Villasana","year":"2003","unstructured":"Villasana, M., Radunskaya, A.: A delay differential equation model for tumor growth. J. Math. Biol. 47(3), 270\u2013294 (2003)","journal-title":"J. Math. Biol."}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-55754-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T03:29:58Z","timestamp":1619234998000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-55754-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030557539","9783030557546"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-55754-6_3","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":"10 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"NASA Formal Methods Symposium","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Moffett Field, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","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":"11 May 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 May 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nfm2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ti.arc.nasa.gov\/events\/nfm-2020\/","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":"62","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":"20","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":"5","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":"32% - 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.2","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":"4.5","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)"}}]}}