{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T13:49:55Z","timestamp":1769953795227,"version":"3.49.0"},"publisher-location":"Cham","reference-count":42,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030304454","type":"print"},{"value":"9783030304461","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-30446-1_6","type":"book-chapter","created":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T23:03:18Z","timestamp":1567983798000},"page":"105-124","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management"],"prefix":"10.1007","author":[{"given":"Xingyu","family":"Zhao","sequence":"first","affiliation":[]},{"given":"Matt","family":"Osborne","sequence":"additional","affiliation":[]},{"given":"Jenny","family":"Lantair","sequence":"additional","affiliation":[]},{"given":"Valentin","family":"Robu","sequence":"additional","affiliation":[]},{"given":"David","family":"Flynn","sequence":"additional","affiliation":[]},{"given":"Xiaowei","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[]},{"given":"Fabio","family":"Papacchini","sequence":"additional","affiliation":[]},{"given":"Angelo","family":"Ferrando","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,9,9]]},"reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1049\/oap-cired.2017.0657","volume":"2017","author":"M Andoni","year":"2017","unstructured":"Andoni, M., Tang, W., Robu, V., Flynn, D.: Data analysis of battery storage systems. CIRED - Open Access Proc. J. 2017(1), 96\u201399 (2017)","journal-title":"CIRED - Open Access Proc. J."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Barr\u00e9, A., Suard, F., G\u00e9rard, M., Riu, D.: A real-time data-driven method for battery health prognostics in electric vehicle use. In: Proceedings of the 2nd European Conference of the Prognostics and Health Management Society, pp. 1\u20138 (2014)","DOI":"10.36001\/phme.2014.v2i1.1514"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Boker, U., Henzinger, T.A., Radhakrishna, A.: Battery transition systems. In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, San Diego, California, USA, pp. 595\u2013606. ACM (2014)","DOI":"10.1145\/2535838.2535875"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Daigle, M., Goebel, K.: Improving computational efficiency of prediction in model-based prognostics using the unscented transform. In: Annual Conference of the Prognostics and Health Management Society (2010)","DOI":"10.1109\/AERO.2010.5446822"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-319-23404-5_10","volume-title":"Model Checking Software","author":"AR Espada","year":"2015","unstructured":"Espada, A.R., del Mar Gallardo, M., Salmer\u00f3n, A., Merino, P.: Runtime verification of expected energy consumption in smartphones. In: Fischer, B., Geldenhuys, J. (eds.) SPIN 2015. LNCS, vol. 9232, pp. 132\u2013149. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23404-5_10"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-319-98938-9_10","volume-title":"Integrated Formal Methods","author":"M Farrell","year":"2018","unstructured":"Farrell, M., Luckcuck, M., Fisher, M.: Robotics and integrated formal methods: necessity meets opportunity. In: Furia, C.A., Winter, K. (eds.) IFM 2018. LNCS, vol. 11023, pp. 161\u2013171. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98938-9_10"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-642-36249-1_2","volume-title":"Assurances for Self-Adaptive Systems","author":"A Filieri","year":"2013","unstructured":"Filieri, A., Tamburrelli, G.: Probabilistic verification at runtime for self-adaptive systems. In: C\u00e1mara, J., de Lemos, R., Ghezzi, C., Lopes, A. (eds.) Assurances for Self-Adaptive Systems. LNCS, vol. 7740, pp. 30\u201359. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36249-1_2"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Fisher, M., et al.: Verifiable self-certifying autonomous systems. In: 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 341\u2013348 (2018)","DOI":"10.1109\/ISSREW.2018.00028"},{"issue":"9","key":"6_CR9","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/2500468.2494558","volume":"56","author":"M Fisher","year":"2013","unstructured":"Fisher, M., Dennis, L., Webster, M.: Verifying autonomous systems. Commun. ACM 56(9), 84\u201393 (2013)","journal-title":"Commun. ACM"},{"issue":"2","key":"6_CR10","doi-asserted-by":"publisher","first-page":"183","DOI":"10.4271\/2017-01-9078","volume":"6","author":"D Gao","year":"2017","unstructured":"Gao, D., Huang, M., Xie, J.: A novel indirect health indicator extraction based on charging data for lithium-ion batteries remaining useful life prognostics. SAE Int. J. Altern. Powertrains 6(2), 183\u2013193 (2017)","journal-title":"SAE Int. J. Altern. Powertrains"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Gerasimou, S., Calinescu, R., Banks, A.: Efficient runtime quantitative verification using caching, lookahead, and nearlyoptimal reconfiguration. In: Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014, pp. 115\u2013124. ACM, New York (2014)","DOI":"10.1145\/2593929.2593932"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-319-77935-5_16","volume-title":"NASA Formal Methods","author":"R Giaquinta","year":"2018","unstructured":"Giaquinta, R., Hoffmann, R., Ireland, M., Miller, A., Norman, G.: Strategy synthesis for autonomous agents using PRISM. In: Dutle, A., Mu\u00f1oz, C., Narkawicz, A. (eds.) NFM 2018. LNCS, vol. 10811, pp. 220\u2013236. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-77935-5_16"},{"key":"6_CR13","unstructured":"Goebel, K., Celaya, J., Sankararaman, S., Roychoudhury, I., Daigle, M., Saxena, A.: Prognostics: The Science of Making Predictions. 1st edn. CreateSpace Independent Publishing Platform (2017)"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.robot.2017.04.004","volume":"94","author":"J Guiochet","year":"2017","unstructured":"Guiochet, J., Machin, M., Waeselynck, H.: Safety-critical advanced robots: a survey. Robot. Auton. Syst. 94, 43\u201352 (2017)","journal-title":"Robot. Auton. Syst."},{"key":"6_CR15","series-title":"Green Energy and Technology","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-03527-7","volume-title":"Mathematical Modeling of Lithium Batteries From Electrochemical Models to State Estimator Algorithms","author":"KS Hariharan","year":"2018","unstructured":"Hariharan, K.S.: Mathematical Modeling of Lithium Batteries From Electrochemical Models to State Estimator Algorithms. Green Energy and Technology. Springer, New York (2018). https:\/\/doi.org\/10.1007\/978-3-319-03527-7"},{"issue":"8","key":"6_CR16","doi-asserted-by":"publisher","first-page":"2120","DOI":"10.3390\/en11082120","volume":"11","author":"W He","year":"2018","unstructured":"He, W., Pecht, M., Flynn, D., Dinmohammadi, F.: A physics-based electrochemical model for lithium-ion battery state-of-charge estimation solved by an optimised projection-based method and moving-window filtering. Energies 11(8), 2120 (2018)","journal-title":"Energies"},{"issue":"6","key":"6_CR17","doi-asserted-by":"publisher","first-page":"840","DOI":"10.1016\/j.microrel.2012.11.010","volume":"53","author":"W He","year":"2013","unstructured":"He, W., Williard, N., Chen, C., Pecht, M.: State of charge estimation for electric vehicle batteries using unscented Kalman filtering. Microelectron. Reliab. 53(6), 840\u2013847 (2013)","journal-title":"Microelectron. Reliab."},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-319-32582-8_7","volume-title":"Model Checking Software","author":"R Hoffmann","year":"2016","unstructured":"Hoffmann, R., Ireland, M., Miller, A., Norman, G., Veres, S.: Autonomous agent behaviour modelled in PRISM \u2013 a case study. In: Bo\u0161na\u010dki, D., Wijs, A. (eds.) SPIN 2016. LNCS, vol. 9641, pp. 104\u2013110. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-32582-8_7"},{"issue":"1","key":"6_CR19","first-page":"1","volume":"9","author":"EF Hogge","year":"2018","unstructured":"Hogge, E.F., et al.: Verification of prognostic algorithms to predict remaining flying time for electric unmanned vehicles. Int. J. Prognostics Health Manag. 9(1), 1\u201315 (2018)","journal-title":"Int. J. Prognostics Health Manag."},{"key":"6_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-319-99154-2_11","volume-title":"Quantitative Evaluation of Systems","author":"D Ivanov","year":"2018","unstructured":"Ivanov, D., Larsen, K.G., Schupp, S., Srba, J.: Analytical solution for long battery lifetime prediction in nonadaptive systems. In: McIver, A., Horvath, A. (eds.) QEST 2018. LNCS, vol. 11024, pp. 173\u2013189. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99154-2_11"},{"key":"6_CR21","first-page":"182","volume":"94","author":"N Kalra","year":"2016","unstructured":"Kalra, N., Paddock, S.M.: Driving to safety: how many miles of driving would it take to demonstrate autonomous vehicle reliability? Transp. Res. Part A: Policy Pract. 94, 182\u2013193 (2016)","journal-title":"Transp. Res. Part A: Policy Pract."},{"issue":"2","key":"6_CR22","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/j.robot.2011.10.005","volume":"60","author":"S Konur","year":"2012","unstructured":"Konur, S., Dixon, C., Fisher, M.: Analysing robot swarm behaviour via probabilistic model checking. Robot. Auton. Syst. 60(2), 199\u2013213 (2012)","journal-title":"Robot. Auton. Syst."},{"issue":"1","key":"6_CR23","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MITS.2016.2583491","volume":"9","author":"P Koopman","year":"2017","unstructured":"Koopman, P., Wagner, M.: Autonomous vehicle safety: an interdisciplinary challenge. IEEE Intell. Transp. Syst. Mag. 9(1), 90\u201396 (2017)","journal-title":"IEEE Intell. Transp. Syst. Mag."},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585\u2013591. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_47"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-319-57685-5_3","volume-title":"Formal System Verification","author":"M Kwiatkowska","year":"2018","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic model checking: advances and applications. In: Drechsler, R. (ed.) Formal System Verification, pp. 73\u2013121. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-57685-5_3"},{"key":"6_CR26","unstructured":"Lane, D., Bisset, D., Buckingham, R., Pegman, G., Prescott, T.: New foresight review on robotics and autonomous systems. Technical report, No. 2016.1, Lloyd\u2019s Register Foundation, London, U.K. (2016)"},{"issue":"14","key":"6_CR27","doi-asserted-by":"publisher","first-page":"1743","DOI":"10.1177\/0278364910375139","volume":"29","author":"W Liu","year":"2010","unstructured":"Liu, W., Winfield, A.: Modeling and optimization of adaptive foraging in swarm robotic systems. Int. J. Robot. Res. 29(14), 1743\u20131760 (2010)","journal-title":"Int. J. Robot. Res."},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"Luckcuck, M., Farrell, M., Dennis, L., Dixon, C., Fisher, M.: Formal specification and verification of autonomous robotic systems: a survey. arXiv preprint arXiv:1807.00048 (2018)","DOI":"10.1145\/3342355"},{"key":"6_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-319-66197-1_22","volume-title":"Software Engineering and Formal Methods","author":"S M\u00e4rcker","year":"2017","unstructured":"M\u00e4rcker, S., Baier, C., Klein, J., Kl\u00fcppelholz, S.: Computing conditional probabilities: implementation and evaluation. In: Cimatti, A., Sirjani, M. (eds.) SEFM 2017. LNCS, vol. 10469, pp. 349\u2013366. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66197-1_22"},{"issue":"3","key":"6_CR30","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/s11241-017-9269-4","volume":"53","author":"G Norman","year":"2017","unstructured":"Norman, G., Parker, D., Zou, X.: Verification and control of partially observable probabilistic systems. Real-Time Syst. 53(3), 354\u2013402 (2017)","journal-title":"Real-Time Syst."},{"key":"6_CR31","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2864159","author":"CA Paterson","year":"2019","unstructured":"Paterson, C.A., Calinescu, R.: Observation-enhanced QoS analysis of component-based systems. IEEE Trans. Softw. Eng. (2019). https:\/\/doi.org\/10.1109\/TSE.2018.2864159 . (Early Access)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Paterson, C., Calinescu, R., Wang, D., Manandhar, S.: Using unstructured data to improve the continuous planning of critical processes involving humans. In: 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (2019)","DOI":"10.1109\/SEAMS.2019.00013"},{"issue":"4","key":"6_CR33","doi-asserted-by":"publisher","first-page":"886","DOI":"10.1007\/s10489-017-0999-8","volume":"48","author":"S Pathak","year":"2018","unstructured":"Pathak, S., Pulina, L., Tacchella, A.: Verification and repair of control policies for safe reinforcement learning. Appl. Intell. 48(4), 886\u2013908 (2018)","journal-title":"Appl. Intell."},{"issue":"7688","key":"6_CR34","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1038\/d41586-018-00646-w","volume":"553","author":"V Robu","year":"2018","unstructured":"Robu, V., Flynn, D., Lane, D.: Train robots to self-certify as safe. Nature 553(7688), 281 (2018)","journal-title":"Nature"},{"key":"6_CR35","doi-asserted-by":"crossref","unstructured":"Saxena, A., Roychoudhury, I., Celaya, J., Saha, B., Saha, S., Goebel, K.: Requirements flowdown for prognostics and health management. In: Infotech@Aerospace. American Institute of Aeronautics and Astronautics (2012)","DOI":"10.2514\/6.2012-2554"},{"issue":"1","key":"6_CR36","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/S0378-7753(02)00490-1","volume":"113","author":"R Spotnitz","year":"2003","unstructured":"Spotnitz, R.: Simulation of capacity fade in lithium-ion batteries. J. Power Sources 113(1), 72\u201380 (2003)","journal-title":"J. Power Sources"},{"key":"6_CR37","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1016\/j.renene.2018.10.047","volume":"133","author":"A Stetco","year":"2019","unstructured":"Stetco, A., et al.: Machine learning methods for wind turbine condition monitoring: a review. Renew. Energy 133, 620\u2013635 (2019)","journal-title":"Renew. Energy"},{"issue":"2","key":"6_CR38","doi-asserted-by":"publisher","first-page":"17","DOI":"10.3390\/batteries2020017","volume":"2","author":"LW Traub","year":"2016","unstructured":"Traub, L.W.: Calculation of constant power lithium battery discharge curves. Batteries 2(2), 17 (2016)","journal-title":"Batteries"},{"key":"6_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-662-45231-8_15","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"ER Wognsen","year":"2014","unstructured":"Wognsen, E.R., Hansen, R.R., Larsen, K.G.: Battery-aware scheduling of mixed criticality systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 208\u2013222. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45231-8_15"},{"key":"6_CR40","doi-asserted-by":"publisher","first-page":"678","DOI":"10.1016\/j.energy.2017.10.043","volume":"142","author":"C Zhang","year":"2018","unstructured":"Zhang, C., Allafi, W., Dinh, Q., Ascencio, P., Marco, J.: Online estimation of battery equivalent circuit model parameters and state of charge using decoupled least squares technique. Energy 142, 678\u2013688 (2018)","journal-title":"Energy"},{"issue":"2","key":"6_CR41","doi-asserted-by":"publisher","first-page":"1086","DOI":"10.1109\/TIE.2011.2159691","volume":"59","author":"F Zhang","year":"2012","unstructured":"Zhang, F., Liu, G., Fang, L., Wang, H.: Estimation of battery state of charge with $${H}_{\\infty }$$ observer: applied to a robot for inspecting power transmission lines. IEEE Trans. Ind. Electron. 59(2), 1086\u20131095 (2012)","journal-title":"IEEE Trans. Ind. Electron."},{"key":"6_CR42","doi-asserted-by":"crossref","unstructured":"Zhao, X., Robu, V., Flynn, D., Dinmohammadi, F., Fisher, M., Webster, M.: Probabilistic model checking of robots deployed in extreme environments. In: The 33rd AAAI Conference on Artificial Intelligence, Honolulu, Hawaii, USA (2019, in Press)","DOI":"10.1609\/aaai.v33i01.33018066"}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30446-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,23]],"date-time":"2024-07-23T03:10:30Z","timestamp":1721704230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30446-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030304454","9783030304461"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30446-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 September 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oslo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sefm2019.inria.fr\/","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":"89","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":"27","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":"30% - 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":"6","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)"}}]}}