{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:30:18Z","timestamp":1759336218527,"version":"3.41.0"},"publisher-location":"Cham","reference-count":44,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031937057","type":"print"},{"value":"9783031937064","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-93706-4_15","type":"book-chapter","created":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T17:22:43Z","timestamp":1749316963000},"page":"254-274","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Rare Event Simulation for\u00a0Stochastic Hybrid Systems Using Symbolic Importance Functions"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6704-8362","authenticated-orcid":false,"given":"Mathis","family":"Niehage","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5510-4814","authenticated-orcid":false,"given":"Carina","family":"da Silva","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5912-4767","authenticated-orcid":false,"given":"Anne","family":"Remke","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3268-8674","authenticated-orcid":false,"given":"Arnd","family":"Hartmanns","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,6,8]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","unstructured":"Abate, A., et al.: ARCH-COMP23 category report: stochastic models. In: Frehse, G., Althoff, M. (eds.) 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH). EPiC Series in Computing, vol.\u00a096, pp. 126\u2013150. EasyChair (2023). https:\/\/doi.org\/10.29007\/K7S6","DOI":"10.29007\/K7S6"},{"key":"15_CR2","doi-asserted-by":"publisher","unstructured":"Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1\u20136:39 (2018). https:\/\/doi.org\/10.1145\/3158668","DOI":"10.1145\/3158668"},{"issue":"4","key":"15_CR3","first-page":"180","volume":"2","author":"AJ Bayes","year":"1970","unstructured":"Bayes, A.J.: Statistical techniques for simulation models. Aust. Comput. J. 2(4), 180\u2013184 (1970)","journal-title":"Aust. Comput. J."},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-319-69483-2_3","volume-title":"Dependable Software Engineering. Theories, Tools, and Applications","author":"CE Budde","year":"2017","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Hartmanns, A.: Better automated importance splitting for transient rare events. In: Larsen, K.G., Sokolsky, O., Wang, J. (eds.) SETTA 2017. LNCS, vol. 10606, pp. 42\u201358. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69483-2_3"},{"key":"15_CR5","doi-asserted-by":"publisher","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Monti, R.E.: Compositional construction of importance functions in fully automated importance splitting. In: 10th EAI International Conference on Performance Evaluation Methodologies and Tools. ACM (2016). https:\/\/doi.org\/10.4108\/EAI.25-10-2016.2266501","DOI":"10.4108\/EAI.25-10-2016.2266501"},{"issue":"5","key":"15_CR6","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1007\/S10009-022-00675-X","volume":"24","author":"CE Budde","year":"2022","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Monti, R.E., Stoelinga, M.: Analysis of non-Markovian repairable fault trees through rare event simulation. Int. J. Softw. Tools Technol. Transfer 24(5), 821\u2013841 (2022). https:\/\/doi.org\/10.1007\/S10009-022-00675-X","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"6","key":"15_CR7","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"},{"key":"15_CR8","doi-asserted-by":"publisher","unstructured":"Budde, C.E., Hartmanns, A., Meggendorfer, T., Weininger, M., Wienh\u00f6ft, P.: Sound statistical model checking for probabilities and expected rewards. In: Arie Gurfinkel and Marijn Heule 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science, vol. 15696, pp. 167\u2014190. Springer (2025). https:\/\/doi.org\/10.1007\/978-3-031-90643-5_9","DOI":"10.1007\/978-3-031-90643-5_9"},{"issue":"4","key":"15_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3607197","volume":"33","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. 33(4), 1\u201327 (2023). https:\/\/doi.org\/10.1145\/3607197","journal-title":"ACM Trans. Model. Comput. Simul."},{"issue":"4","key":"15_CR10","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/S10009-014-0361-Y","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Mikucionis, M., Poulsen, D.B.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transf. 17(4), 397\u2013415 (2015). https:\/\/doi.org\/10.1007\/S10009-014-0361-Y","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"15_CR11","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: 14th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 43\u201352. ACM (2011). https:\/\/doi.org\/10.1145\/1967701.1967710","DOI":"10.1145\/1967701.1967710"},{"key":"15_CR12","doi-asserted-by":"publisher","unstructured":"Garvels, M.J.J., Kroese, D.P.: A comparison of RESTART implementations. In: Winter Simulation Conference, pp. 601\u2013608. WSC (1998). https:\/\/doi.org\/10.1109\/WSC.1998.745040","DOI":"10.1109\/WSC.1998.745040"},{"issue":"4","key":"15_CR13","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1002\/ett.4460130408","volume":"13","author":"M Garvels","year":"2002","unstructured":"Garvels, M., van Ommeren, J., Kroese, D.P.: On the importance function in splitting simulation. Eur. Trans. Telecommun. 13(4), 363\u2013371 (2002). https:\/\/doi.org\/10.1002\/ett.4460130408","journal-title":"Eur. Trans. Telecommun."},{"key":"15_CR14","unstructured":"Garvels, M.J.J.: The splitting method in rare event simulation. Ph.D. thesis, University of Twente, Enschede, The Netherlands (2000). http:\/\/eprints.eemcs.utwente.nl\/14291\/"},{"key":"15_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, pp. 152\u2013161. IEEE Computer Society (2013). https:\/\/doi.org\/10.1109\/PRDC.2013.34","DOI":"10.1109\/PRDC.2013.34"},{"key":"15_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. Eval. 97, 36\u201356 (2016). https:\/\/doi.org\/10.1016\/j.peva.2015.11.004","journal-title":"Perform. Eval."},{"key":"15_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."},{"key":"15_CR18","doi-asserted-by":"publisher","unstructured":"Hartmanns, A., Hermanns, H.: The Modest Toolset: an integrated environment for quantitative modelling and verification. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 593\u2013598. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-642-54862-8_51","DOI":"10.1007\/978-3-642-54862-8_51"},{"key":"15_CR19","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"},{"issue":"301","key":"15_CR20","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1080\/01621459.1963.10500830","volume":"58","author":"W Hoeffding","year":"1963","unstructured":"Hoeffding, W.: Probability inequalities for sums of bounded random variables. J. Am. Stat. Assoc. 58(301), 13\u201330 (1963). https:\/\/doi.org\/10.1080\/01621459.1963.10500830","journal-title":"J. Am. Stat. Assoc."},{"key":"15_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/978-3-030-55754-6_22","volume-title":"NASA Formal Methods","author":"J H\u00fcls","year":"2020","unstructured":"H\u00fcls, J., Niehaus, H., Remke, A.: hpnmg: a C++ tool for model checking hybrid petri nets with general transitions. In: Lee, R., Jha, S., Mavridou, A., Giannakopoulou, D. (eds.) NFM 2020. LNCS, vol. 12229, pp. 369\u2013378. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55754-6_22"},{"issue":"3","key":"15_CR22","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":"15_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-319-47677-3_11","volume-title":"Dependable Software Engineering: Theories, Tools, and Applications","author":"C Jegourel","year":"2016","unstructured":"Jegourel, C., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B., Sedwards, S.: Importance sampling for stochastic timed automata. In: Fr\u00e4nzle, M., Kapur, D., Zhan, N. (eds.) SETTA 2016. LNCS, vol. 9984, pp. 163\u2013178. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47677-3_11"},{"key":"15_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1007\/978-3-642-39799-8_38","volume-title":"Computer Aided Verification","author":"C Jegourel","year":"2013","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: Importance splitting for statistical model checking rare properties. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 576\u2013591. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_38"},{"key":"15_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-662-45231-8_11","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"C Jegourel","year":"2014","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: An effective heuristic for adaptive importance splitting in statistical model checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 143\u2013159. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45231-8_11"},{"key":"15_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/978-3-319-91908-9_23","volume-title":"Computing and Software Science","author":"A Legay","year":"2019","unstructured":"Legay, A., Lukina, A., Traonouez, L.M., Yang, J., Smolka, S.A., Grosu, R.: Statistical model checking. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 478\u2013504. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-91908-9_23"},{"key":"15_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT -2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12"},{"issue":"1","key":"15_CR28","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":"15_CR29","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, Virtual Event, China, pp. 44\u201355. ACM (2021). https:\/\/doi.org\/10.1145\/3487212.3487339","DOI":"10.1145\/3487212.3487339"},{"key":"15_CR30","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, Tsukuba, Japan, pp. 88\u201395. ACM (2020). https:\/\/doi.org\/10.1145\/3388831.3388842","DOI":"10.1145\/3388831.3388842"},{"key":"15_CR31","doi-asserted-by":"publisher","unstructured":"Niehage, M., Remke, A.: Learning that grid-convenience does not hurt resilience in the presence of uncertainty. In: 20th International Conference on Formal Modeling and Analysis of Timed Systems FORMATS. 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":"15_CR32","doi-asserted-by":"publisher","unstructured":"Niehage, M., Remke, A.: The best of both worlds: analytically-guided simulation of HPnGs for optimal reachability. In: 16th EAI International Conference on Performance Evaluation Methodologies and Tools. LNICST, vol.\u00a0539, pp. 61\u201381. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-48885-6_5","DOI":"10.1007\/978-3-031-48885-6_5"},{"key":"15_CR33","doi-asserted-by":"publisher","DOI":"10.1016\/J.PEVA.2024.102449","volume":"167","author":"M Niehage","year":"2025","unstructured":"Niehage, M., Remke, A.: Symbolic state-space exploration meets statistical model checking. Perform. Eval. 167, 102449 (2025). https:\/\/doi.org\/10.1016\/J.PEVA.2024.102449","journal-title":"Perform. Eval."},{"issue":"1","key":"15_CR34","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF02883985","volume":"10","author":"M Okamoto","year":"1959","unstructured":"Okamoto, M.: Some inequalities relating to the partial sum of binomial probabilities. Ann. Inst. Stat. Math. 10(1), 29\u201335 (1959)","journal-title":"Ann. Inst. Stat. Math."},{"issue":"12","key":"15_CR35","doi-asserted-by":"publisher","first-page":"588","DOI":"10.3390\/INFO11120588","volume":"11","author":"A Pappagallo","year":"2020","unstructured":"Pappagallo, A., Massini, A., Tronci, E.: Monte Carlo based statistical model checking of cyber-physical systems: A review. Information 11(12), 588 (2020). https:\/\/doi.org\/10.3390\/INFO11120588","journal-title":"Information"},{"key":"15_CR36","unstructured":"Petri, C.A.: Kommunikation mit Automaten. Ph.D. thesis, TU Darmstadt (1962)"},{"key":"15_CR37","doi-asserted-by":"publisher","unstructured":"Pilch, C., Edenfeld, F., Remke, A.: HYPEG: statistical model checking for hybrid petri nets: tool paper. In: 11th EAI International Conference on Performance Evaluation Methodologies and Tools, pp. 186\u2013191. ACM Press (2017). https:\/\/doi.org\/10.1145\/3150928.3150956","DOI":"10.1145\/3150928.3150956"},{"key":"15_CR38","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: 23rd International Conference on Hybrid Systems: Computation and Control, pp. 1\u201311. ACM (2020). https:\/\/doi.org\/10.1145\/3365365.3382198","DOI":"10.1145\/3365365.3382198"},{"key":"15_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/978-3-030-55754-6_23","volume-title":"NASA Formal Methods","author":"C Pilch","year":"2020","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: Lee, R., Jha, S., Mavridou, A., Giannakopoulou, D. (eds.) NFM 2020. LNCS, vol. 12229, pp. 381\u2013400. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-55754-6_23"},{"key":"15_CR40","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 (2018). https:\/\/doi.org\/10.1109\/MASCOTS.2018.00024","DOI":"10.1109\/MASCOTS.2018.00024"},{"key":"15_CR41","doi-asserted-by":"publisher","unstructured":"Rubino, G., Tuffin, B. (eds.): Rare Event Simulation using Monte Carlo Methods. Wiley (2009). https:\/\/doi.org\/10.1002\/9780470745403","DOI":"10.1002\/9780470745403"},{"key":"15_CR42","unstructured":"Vill\u00e9n-Altamirano, M., Vill\u00e9n-Altamirano, J.: RESTART: a method for accelerating rare event simulations. In: Cohen, J., Pack, C. (eds.) Queueing, Performance and Control in ATM (ITC-13), pp. 71\u201376. Elsevier (1991)"},{"key":"15_CR43","doi-asserted-by":"crossref","unstructured":"Vill\u00e9n-Altamirano, M., Vill\u00e9n-Altamirano, J.: RESTART: a straightforward method for fast simulation of rare events. In: WSC, pp. 282\u2013289. ACM (1994)","DOI":"10.1109\/WSC.1994.717150"},{"key":"15_CR44","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 in Computer Science","NASA Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-93706-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T17:22:45Z","timestamp":1749316965000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-93706-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031937057","9783031937064"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-93706-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"8 June 2025","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":"Hampton Roads, VA","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":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 June 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 June 2025","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":"nfm2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/shemesh.larc.nasa.gov\/nfm2025\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}