{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T17:41:53Z","timestamp":1749318113433,"version":"3.40.3"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031488849"},{"type":"electronic","value":"9783031488856"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-48885-6_5","type":"book-chapter","created":{"date-parts":[[2024,1,2]],"date-time":"2024-01-02T11:02:20Z","timestamp":1704193340000},"page":"61-81","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The Best of\u00a0Both\u00a0Worlds: Analytically-Guided Simulation of\u00a0HPnGs for\u00a0Optimal Reachability"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6704-8362","authenticated-orcid":false,"given":"Mathis","family":"Niehage","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5912-4767","authenticated-orcid":false,"given":"Anne","family":"Remke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,3]]},"reference":[{"issue":"6","key":"5_CR1","doi-asserted-by":"publisher","first-page":"624","DOI":"10.3166\/ejc.16.624-641","volume":"16","author":"A Abate","year":"2010","unstructured":"Abate, A., Katoen, J.P., Lygeros, J., Prandini, M.: Approximate model checking of stochastic hybrid systems. Eur. J. Control. 16(6), 624\u2013641 (2010). https:\/\/doi.org\/10.3166\/ejc.16.624-641","journal-title":"Eur. J. Control."},{"key":"5_CR2","doi-asserted-by":"publisher","unstructured":"Adelt, J., Herber, P., Niehage, M., Remke, A.: Towards safe and resilient hybrid systems in the presence of learning and uncertainty. In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles\u201411th International Symposium, ISoLA 2022, Rhodes, Greece, October 22\u201330, 2022, Proceedings, Part I. LNCS, vol. 13701, pp. 299\u2013319. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-19849-6_18","DOI":"10.1007\/978-3-031-19849-6_18"},{"key":"5_CR3","doi-asserted-by":"publisher","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Hartmanns, A.: Better automated importance splitting for transient rare events. In: Dependable Software Engineering. Theories, Tools, and Applications, LNCS, vol. 10606, pp. 42\u201358. Springer International Publishing, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69483-2_3","DOI":"10.1007\/978-3-319-69483-2_3"},{"issue":"6","key":"5_CR4","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1007\/s10009-020-00563-2","volume":"22","author":"CE Budde","year":"2020","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Hartmanns, A., Sedwards, S.: An efficient statistical model checker for nondeterminism and rare events. Int. J. Softw. Tools Technol. Transfer 22(6), 759\u2013780 (2020). https:\/\/doi.org\/10.1007\/s10009-020-00563-2","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"5","key":"5_CR5","doi-asserted-by":"publisher","first-page":"2386","DOI":"10.1109\/TAC.2020.3006967","volume":"66","author":"M Cai","year":"2021","unstructured":"Cai, M., Peng, H., Li, Z., Kan, Z.: Learning-based probabilistic LTL motion planning with environment and motion uncertainties. IEEE Trans. Autom. Control 66(5), 2386\u20132392 (2021). https:\/\/doi.org\/10.1109\/TAC.2020.3006967","journal-title":"IEEE Trans. Autom. Control"},{"key":"5_CR6","doi-asserted-by":"publisher","unstructured":"David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets. Springer, Berlin Heidelberg, Berlin, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-10669-9","DOI":"10.1007\/978-3-642-10669-9"},{"key":"5_CR7","doi-asserted-by":"publisher","unstructured":"Delicaris, J., Schupp, S., \u00c1brah\u00e1m, E., Remke, A.: Maximizing reachability probabilities in rectangular automata with random clocks. In: 17th International Symposium on Theoretical Aspects of Software Engineering. LNCS, vol. 13931, pp. 1\u201319. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-35257-7_10","DOI":"10.1007\/978-3-031-35257-7_10"},{"issue":"4","key":"5_CR8","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s10009-015-0383-0","volume":"17","author":"P D\u2019Argenio","year":"2015","unstructured":"D\u2019Argenio, P., Legay, A., Sedwards, S., Traonouez, L.M.: Smart sampling for lightweight verification of Markov decision processes. Int. J. Softw. Tools Technol. Transfer 17(4), 469\u2013484 (2015). https:\/\/doi.org\/10.1007\/s10009-015-0383-0","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"5_CR9","doi-asserted-by":"publisher","unstructured":"D\u2019Argenio, P.R., Gerhold, M., Hartmanns, A., Sedwards, S.: A hierarchy of scheduler classes for stochastic automata. In: Foundations of Software Science and Computation Structures, LNCS, vol. 10803, pp. 384\u2013402. Springer International Publishing, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-89366-2_21","DOI":"10.1007\/978-3-319-89366-2_21"},{"key":"5_CR10","doi-asserted-by":"publisher","unstructured":"D\u2019Argenio, P.R., Hartmanns, A., Sedwards, S.: Lightweight statistical model checking in nondeterministic continuous time. In: Leveraging Applications of Formal Methods, Verification and Validation. Verification, LNCS, vol. 11245, pp. 336\u2013353. Springer International Publishing, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03421-4_22","DOI":"10.1007\/978-3-030-03421-4_22"},{"issue":"4","key":"5_CR11","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/s10009-014-0329-y","volume":"17","author":"C Ellen","year":"2015","unstructured":"Ellen, C., Gerwinn, S., Fr\u00e4nzle, M.: Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains. Int. J. Softw. Tools Technol. Transfer 17(4), 485\u2013504 (2015). https:\/\/doi.org\/10.1007\/s10009-014-0329-y","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"5_CR12","doi-asserted-by":"publisher","unstructured":"Fr\u00e4nzle, M., Hahn, E.M., Hermanns, H., Wolovick, N., Zhang, L.: Measurability and safety verification for stochastic hybrid systems. In: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control\u2014HSCC \u201911. p. 43. ACM Press, Chicago, IL, USA (2011). https:\/\/doi.org\/10.1145\/1967701.1967710","DOI":"10.1145\/1967701.1967710"},{"key":"5_CR13","doi-asserted-by":"publisher","unstructured":"Fr\u00e4nzle, M., Teige, T., Eggers, A.: Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. J. Logic Algebraic Program. 79(7), 436\u2013466 (2010). https:\/\/doi.org\/10.1016\/j.jlap.2010.07.003","DOI":"10.1016\/j.jlap.2010.07.003"},{"key":"5_CR14","doi-asserted-by":"publisher","unstructured":"Gao, Y., Fr\u00e4nzle, M.: A solving procedure for stochastic satisfiability modulo theories with continuous domain. In: 12th International Conference on Quantitative Evaluation of Systems (QEST). LNCS, vol. 9259, pp. 295\u2013311. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-22264-6_19","DOI":"10.1007\/978-3-319-22264-6_19"},{"key":"5_CR15","doi-asserted-by":"publisher","unstructured":"Ghasemieh, H., Remke, A., Haverkort, B.R.: Survivability evaluation of fluid critical infrastructures using hybrid petri nets. In: IEEE 19th Pacific Rim International Symposium on Dependable Computing, PRDC 2013, Vancouver, BC, Canada, December 2\u20134, 2013, pp. 152\u2013161. IEEE Computer Society (2013). https:\/\/doi.org\/10.1109\/PRDC.2013.34","DOI":"10.1109\/PRDC.2013.34"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/j.peva.2015.11.004","volume":"97","author":"H Ghasemieh","year":"2016","unstructured":"Ghasemieh, H., Remke, A., Haverkort, B.R.: Survivability analysis of a sewage treatment facility using hybrid petri nets. Perform. Evaluation 97, 36\u201356 (2016). https:\/\/doi.org\/10.1016\/j.peva.2015.11.004","journal-title":"Perform. Evaluation"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1016\/j.peva.2016.09.002","volume":"105","author":"M Gribaudo","year":"2016","unstructured":"Gribaudo, M., Remke, A.: Hybrid Petri nets with general one-shot transitions. Perform. Eval. 105, 22\u201350 (2016). https:\/\/doi.org\/10.1016\/j.peva.2016.09.002","journal-title":"Perform. Eval."},{"issue":"2","key":"5_CR18","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s10703-012-0167-z","volume":"43","author":"EM Hahn","year":"2013","unstructured":"Hahn, E.M., Hartmanns, A., Hermanns, H., Katoen, J.P.: A compositional modelling and analysis framework for stochastic hybrid systems. Formal Methods Syst. Des. 43(2), 191\u2013232 (2013). https:\/\/doi.org\/10.1007\/s10703-012-0167-z","journal-title":"Formal Methods Syst. Des."},{"key":"5_CR19","doi-asserted-by":"publisher","unstructured":"Hahn, E.M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., Wojtczak, D.: Faithful and effective reward schemes for model-free reinforcement learning of omega-regular objectives. In: Automated Technology for Verification and Analysis, LNCS, vol. 12302, pp. 108\u2013124. Springer International Publishing, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59152-6_6","DOI":"10.1007\/978-3-030-59152-6_6"},{"key":"5_CR20","doi-asserted-by":"publisher","unstructured":"Hartmanns, A., Hermanns, H.: The modest toolset: an integrated environment for quantitative modelling and verification. In: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 8413, pp. 593\u2013598. Springer, Berlin Heidelberg, Berlin, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54862-8_51","DOI":"10.1007\/978-3-642-54862-8_51"},{"key":"5_CR21","doi-asserted-by":"publisher","unstructured":"Hartmanns, A., Hermanns, H., Kr\u010d\u00e1l, J.: Schedulers are no Prophets. In: Semantics, Logics, and Calculi, LNCS, vol. 9560, pp. 214\u2013235. Springer International Publishing, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-27810-0_11","DOI":"10.1007\/978-3-319-27810-0_11"},{"key":"5_CR22","doi-asserted-by":"publisher","unstructured":"Hasanbeig, M., Kantaros, Y., Abate, A., Kroening, D., Pappas, G.J., Lee, I.: Reinforcement learning for temporal logic control synthesis with probabilistic satisfaction guarantees. In: 2019 IEEE 58th Conference on Decision and Control (CDC), pp. 5338\u20135343. IEEE, Nice, France (2019). https:\/\/doi.org\/10.1109\/CDC40024.2019.9028919","DOI":"10.1109\/CDC40024.2019.9028919"},{"key":"5_CR23","unstructured":"Hasanbeig, M., Abate, A., Kroening, D.: Cautious reinforcement learning with logical constraints. In: Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, pp. 483\u2013491 (2020)"},{"key":"5_CR24","doi-asserted-by":"publisher","unstructured":"Heymann, M., Feng Lin, Meyer, G., Resmerita, S.: Analysis of Zeno behaviors in a class of hybrid systems. IEEE Trans. Autom. Control 50(3), 376\u2013383 (2005). https:\/\/doi.org\/10.1109\/TAC.2005.843874","DOI":"10.1109\/TAC.2005.843874"},{"key":"5_CR25","doi-asserted-by":"publisher","unstructured":"H\u00fcls, J., Remke, A.: Model checking hpngs in multiple dimensions: Representing state sets as convex polytopes. In: Formal Techniques for Distributed Objects, Components, and Systems\u201439th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17\u201321, 2019, Proceedings. LNCS, vol. 11535, pp. 148\u2013166. Springer (2019). https:\/\/doi.org\/10.1007\/978-3-030-21759-4_9","DOI":"10.1007\/978-3-030-21759-4_9"},{"key":"5_CR26","doi-asserted-by":"publisher","unstructured":"H\u00fcls, J., Niehaus, H., Remke, A.: hpnmg: AC++ tool for model checking hybrid Petri nets with general transitions. In: NASA Formal Methods, LNCS, vol. 12229, pp. 369\u2013378. Springer International Publishing, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55754-6_22","DOI":"10.1007\/978-3-030-55754-6_22"},{"issue":"3","key":"5_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3449353","volume":"31","author":"J H\u00fcls","year":"2021","unstructured":"H\u00fcls, J., Pilch, C., Schinke, P., Niehaus, H., Delicaris, J., Remke, A.: State-space construction of hybrid Petri nets with multiple stochastic firings. ACM Trans. Model. Comput. Simul. 31(3), 1\u201337 (2021). https:\/\/doi.org\/10.1145\/3449353","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"5_CR28","doi-asserted-by":"publisher","unstructured":"Jegourel, C., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B., Sedwards, S.: Importance sampling for stochastic timed automata. In: Dependable Software Engineering: Theories, Tools, and Applications, LNCS, vol. 9984, pp. 163\u2013178. Springer International Publishing, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47677-3_11","DOI":"10.1007\/978-3-319-47677-3_11"},{"issue":"1","key":"5_CR29","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1109\/TAC.2020.2975028","volume":"66","author":"L Laurenti","year":"2021","unstructured":"Laurenti, L., Lahijanian, M., Abate, A., Cardelli, L., Kwiatkowska, M.: Formal and efficient synthesis for continuous-time linear stochastic hybrid processes. IEEE Trans. Autom. Control 66(1), 17\u201332 (2021). https:\/\/doi.org\/10.1109\/TAC.2020.2975028. Jan","journal-title":"IEEE Trans. Autom. Control"},{"key":"5_CR30","doi-asserted-by":"publisher","unstructured":"Legay, A., Sedwards, S., Traonouez, L.M.: Scalable verification of Markov decision processes. In: Software Engineering and Formal Methods, LNCS, vol. 8938, pp. 350\u2013362. Springer International Publishing, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15201-1_23","DOI":"10.1007\/978-3-319-15201-1_23"},{"issue":"1","key":"5_CR31","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/272991.272995","volume":"8","author":"M Matsumoto","year":"1998","unstructured":"Matsumoto, M., Nishimura, T.: Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator. ACM Trans. Model. Comput. Simul. 8(1), 3\u201330 (1998). https:\/\/doi.org\/10.1145\/272991.272995","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"5_CR32","doi-asserted-by":"publisher","unstructured":"Niehage, M., Hartmanns, A., Remke, A.: Learning optimal decisions for stochastic hybrid systems. In: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, pp. 44\u201355. ACM, Virtual Event China (2021). https:\/\/doi.org\/10.1145\/3487212.3487339","DOI":"10.1145\/3487212.3487339"},{"key":"5_CR33","doi-asserted-by":"publisher","unstructured":"Niehage, M., Pilch, C., Remke, A.: Simulating Hybrid Petri nets with general transitions and non-linear differential equations. In: Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools, pp. 88\u201395. ACM, Tsukuba Japan (2020). https:\/\/doi.org\/10.1145\/3388831.3388842","DOI":"10.1145\/3388831.3388842"},{"key":"5_CR34","doi-asserted-by":"publisher","unstructured":"Niehage, M., Remke, A.: Learning that grid-convenience does not hurt resilience in the presence of uncertainty. In: Formal Modeling and Analysis of Timed Systems\u201420th International Conference, FORMATS 2022, Warsaw, Poland, September 13\u201315, 2022, Proceedings. LNCS, vol. 13465, pp. 298\u2013306. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-15839-1_17","DOI":"10.1007\/978-3-031-15839-1_17"},{"key":"5_CR35","doi-asserted-by":"publisher","unstructured":"Pilch, C., Edenfeld, F., Remke, A.: HYPEG: Statistical model checking for hybrid Petri nets: tool paper. In: Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools\u2014VALUETOOLS 2017, pp. 186\u2013191. ACM Press, Venice, Italy (2017). https:\/\/doi.org\/10.1145\/3150928.3150956","DOI":"10.1145\/3150928.3150956"},{"key":"5_CR36","doi-asserted-by":"publisher","unstructured":"Pilch, C., Hartmanns, A., Remke, A.: Classic and non-prophetic model checking for Hybrid Petri nets with stochastic firings. In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, pp. 1\u201311. ACM, Sydney New South Wales Australia (2020). https:\/\/doi.org\/10.1145\/3365365.3382198","DOI":"10.1145\/3365365.3382198"},{"key":"5_CR37","doi-asserted-by":"publisher","unstructured":"Pilch, C., Krause, M., Remke, A., \u00c1brah\u00e1m, E.: A transformation of Hybrid Petri nets with stochastic firings into a subclass of stochastic hybrid automata. In: NASA Formal Methods, LNCS, vol. 12229, pp. 381\u2013400. Springer International Publishing, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55754-6_23","DOI":"10.1007\/978-3-030-55754-6_23"},{"key":"5_CR38","doi-asserted-by":"publisher","unstructured":"Pilch, C., Niehage, M., Remke, A.: HPnGs go non-linear: statistical dependability evaluation of battery-powered systems. In: 2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), pp. 157\u2013169. IEEE, Milwaukee, WI (2018). https:\/\/doi.org\/10.1109\/MASCOTS.2018.00024","DOI":"10.1109\/MASCOTS.2018.00024"},{"key":"5_CR39","doi-asserted-by":"publisher","unstructured":"Pilch, C., Remke, A.: Statistical model checking for Hybrid Petri nets with multiple general transitions. In: 2017 47th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 475\u2013486. IEEE, Denver, CO, USA (2017). https:\/\/doi.org\/10.1109\/DSN.2017.41","DOI":"10.1109\/DSN.2017.41"},{"key":"5_CR40","doi-asserted-by":"publisher","unstructured":"Pilch, C., Schupp, S., Remke, A.: Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via Flowpipe-construction. In: Quantitative Evaluation of Systems, LNCS, vol. 12846, pp. 435\u2013456. Springer International Publishing, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-85172-9_23","DOI":"10.1007\/978-3-030-85172-9_23"},{"key":"5_CR41","doi-asserted-by":"publisher","unstructured":"Sadigh, D., Kim, E.S., Coogan, S., Sastry, S.S., Seshia, S.A.: A learning based approach to control synthesis of Markov decision processes for linear temporal logic specifications. In: 53rd IEEE Conference on Decision and Control, pp. 1091\u20131096. IEEE, Los Angeles, CA, USA (2014). https:\/\/doi.org\/10.1109\/CDC.2014.7039527","DOI":"10.1109\/CDC.2014.7039527"},{"key":"5_CR42","doi-asserted-by":"publisher","unstructured":"Shmarov, F., Zuliani, P.: ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, pp. 134\u2013139. ACM, Seattle Washington (Apr 2015). https:\/\/doi.org\/10.1145\/2728606.2728625","DOI":"10.1145\/2728606.2728625"},{"key":"5_CR43","doi-asserted-by":"publisher","unstructured":"Shmarov, F., Zuliani, P.: Probabilistic hybrid systems verification via SMT and Monte Carlo techniques. In: Hardware and Software: Verification and Testing, LNCS, vol. 10028, pp. 152\u2013168. Springer International Publishing, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49052-6_10","DOI":"10.1007\/978-3-319-49052-6_10"},{"key":"5_CR44","doi-asserted-by":"publisher","DOI":"10.1145\/3607197","author":"C da Silva","year":"2023","unstructured":"da Silva, C., Schupp, S., Remke, A.: Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction. ACM Trans. Model. Comput. Simul. (2023). https:\/\/doi.org\/10.1145\/3607197","journal-title":"ACM Trans. Model. Comput. Simul."},{"key":"5_CR45","unstructured":"Zimmermann, A., Maciel, P.: Importance function derivation for RESTART simulations of Petri nets. In: 9th International Workshop on Rare Event Simulation (2012)"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Performance Evaluation Methodologies and Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-48885-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,2]],"date-time":"2024-01-02T11:03:31Z","timestamp":1704193411000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-48885-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031488849","9783031488856"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-48885-6_5","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"3 January 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VALUETOOLS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"EAI International Conference on Performance Evaluation Methodologies and Tools","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","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":"6 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"valuetools2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/valuetools.eai-conferences.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":"30","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":"9","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":"2","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":"3.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":"Only subreviewers under the supervision of PC members","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)"}}]}}