{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T00:42:58Z","timestamp":1759365778428,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":60,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032057914","type":"print"},{"value":"9783032057921","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T00:00:00Z","timestamp":1759363200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T00:00:00Z","timestamp":1759363200000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-05792-1_25","type":"book-chapter","created":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T10:31:48Z","timestamp":1759314708000},"page":"468-486","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Choice of\u00a0Loss Functions for\u00a0Neural Control Barrier Certificates"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1613-6749","authenticated-orcid":false,"given":"Alireza","family":"Nadali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9346-0126","authenticated-orcid":false,"given":"Ashutosh","family":"Trivedi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6608-3708","authenticated-orcid":false,"given":"Majid","family":"Zamani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,2]]},"reference":[{"issue":"3","key":"25_CR1","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1109\/LCSYS.2020.3005328","volume":"5","author":"A Abate","year":"2020","unstructured":"Abate, A., Ahmed, D., Giacobbe, M., Peruffo, A.: Formal synthesis of lyapunov neural networks. IEEE Control Syst. Lett. 5(3), 773\u2013778 (2020)","journal-title":"IEEE Control Syst. Lett."},{"key":"25_CR2","unstructured":"Allen-Zhu, Z., Li, Y., Song, Z.: A convergence theory for deep learning via over-parameterization. In: International Conference on Machine Learning, pp. 242\u2013252. PMLR (2019)"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"Ames, A.D., Coogan, S., Egerstedt, M., Notomista, G., Sreenath, K., Tabuada, P.: Control barrier functions: theory and applications. In: 18th European Control Conference (ECC), pp. 3420\u20133431. IEEE (2019)","DOI":"10.23919\/ECC.2019.8796030"},{"key":"25_CR4","doi-asserted-by":"crossref","unstructured":"Anand, M., Murali, V., Trivedi, A., Zamani, M.: K-inductive barrier certificates for stochastic systems. In: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control, pp. 1\u201311 (2022)","DOI":"10.1145\/3501710.3519532"},{"issue":"2","key":"25_CR5","doi-asserted-by":"publisher","first-page":"2431","DOI":"10.1016\/j.ifacol.2023.10.1219","volume":"56","author":"M Anand","year":"2023","unstructured":"Anand, M., Zamani, M.: Formally verified neural network control barrier certificates for unknown systems. IFAC-PapersOnLine 56(2), 2431\u20132436 (2023)","journal-title":"IFAC-PapersOnLine"},{"issue":"10","key":"25_CR6","doi-asserted-by":"publisher","first-page":"1684","DOI":"10.1109\/TAC.2003.817920","volume":"48","author":"D Angeli","year":"2003","unstructured":"Angeli, D., Sontag, E.D.: Monotone control systems. IEEE Trans. Autom. Control 48(10), 1684\u20131698 (2003)","journal-title":"IEEE Trans. Autom. Control"},{"key":"25_CR7","unstructured":"Araujo, A., Havens, A., Delattre, B., Allauzen, A., Hu, B.: A unified algebraic perspective on Lipschitz neural networks. In: ICLR (2023)"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Calliess, J.P.: Lipschitz optimisation for Lipschitz interpolation. In: 2017 American Control Conference (ACC), pp. 3141\u20133146. IEEE (2017)","DOI":"10.23919\/ACC.2017.7963430"},{"key":"25_CR9","unstructured":"Chang, Y.C., Roohi, N., Gao, S.: Neural Lyapunov control. In: Advances in Neural Information Processing Systems, vol. 32 (2019)"},{"key":"25_CR10","unstructured":"Chen, B.M.: Robust and H$$_{\\infty }$$ Control. Springer (2013)"},{"key":"25_CR11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2022.101646","volume":"72","author":"P Cheridito","year":"2022","unstructured":"Cheridito, P., Jentzen, A., Riekert, A., Rossmannek, F.: A proof of convergence for gradient descent in the training of artificial neural networks for constant target functions. J. Complex. 72, 101646 (2022)","journal-title":"J. Complex."},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Clark, A.: Verification and synthesis of control barrier functions. In: 60th IEEE Conference on Decision and Control (CDC), pp. 6105\u20136112. IEEE (2021)","DOI":"10.1109\/CDC45484.2021.9683520"},{"issue":"2","key":"25_CR13","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1137\/19M1272780","volume":"2","author":"PL Combettes","year":"2020","unstructured":"Combettes, P.L., Pesquet, J.C.: Lipschitz certificates for layered network structures driven by averaged activation operators. SIAM J. Math. Data Sci. 2(2), 529\u2013557 (2020)","journal-title":"SIAM J. Math. Data Sci."},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Dai, H., Permenter, F.: Convex synthesis and verification of control-Lyapunov and barrier functions with input constraints. In: American Control Conference (ACC), pp. 4116\u20134123. IEEE (2023)","DOI":"10.23919\/ACC55779.2023.10156043"},{"issue":"3","key":"25_CR15","doi-asserted-by":"publisher","first-page":"1749","DOI":"10.1109\/TRO.2022.3232542","volume":"39","author":"C Dawson","year":"2023","unstructured":"Dawson, C., Gao, S., Fan, C.: Safe control with learned certificates: a survey of neural lyapunov, barrier, and contraction methods for robotics and control. IEEE Trans. Rob. 39(3), 1749\u20131767 (2023)","journal-title":"IEEE Trans. Rob."},{"key":"25_CR16","unstructured":"Dawson, C., Qin, Z., Gao, S., Fan, C.: Safe nonlinear control using robust neural Lyapunov-barrier functions. In: Conference on Robot Learning, pp. 1724\u20131735. PMLR (2022)"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"De\u00a0Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 337\u2013340. Springer (2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"issue":"9","key":"25_CR18","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1995376.1995394","volume":"54","author":"L De Moura","year":"2011","unstructured":"De Moura, L., Bj\u00f8rner, N.: Satisfiability modulo theories: introduction and applications. Commun. ACM 54(9), 69\u201377 (2011)","journal-title":"Commun. ACM"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Edwards, A., Peruffo, A., Abate, A.: Fossil 2.0: formal certificate synthesis for the verification and control of dynamical models. In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, pp. 1\u201310 (2024)","DOI":"10.1145\/3641513.3651398"},{"key":"25_CR20","unstructured":"Fazlyab, M., Robey, A., Hassani, H., Morari, M., Pappas, G.: Efficient and accurate estimation of Lipschitz constants for deep neural networks. In: Advances in Neural Information Processing Systems, vol. 32 (2019)"},{"key":"25_CR21","unstructured":"Goodfellow, I., Bengio, Y., Courville, A.: Deep Learning, vol.\u00a01. MIT Press (2016)"},{"issue":"1","key":"25_CR22","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1137\/S003614450036757X","volume":"43","author":"S Gottlieb","year":"2001","unstructured":"Gottlieb, S., Shu, C.W., Tadmor, E.: Strong stability-preserving high-order time discretization methods. SIAM Rev. 43(1), 89\u2013112 (2001)","journal-title":"SIAM Rev."},{"issue":"5","key":"25_CR23","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/0893-6080(89)90020-8","volume":"2","author":"K Hornik","year":"1989","unstructured":"Hornik, K., Stinchcombe, M., White, H.: Multilayer feedforward networks are universal approximators. Neural Netw. 2(5), 359\u2013366 (1989)","journal-title":"Neural Netw."},{"issue":"7","key":"25_CR24","doi-asserted-by":"publisher","first-page":"3097","DOI":"10.1109\/TAC.2020.3013916","volume":"66","author":"P Jagtap","year":"2020","unstructured":"Jagtap, P., Soudjani, S., Zamani, M.: Formal synthesis of stochastic systems via control barrier certificates. IEEE Trans. Autom. Control 66(7), 3097\u20133110 (2020)","journal-title":"IEEE Trans. Autom. Control"},{"key":"25_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-319-63387-9_5","volume-title":"Computer Aided Verification","author":"G Katz","year":"2017","unstructured":"Katz, G., Barrett, C., Dill, D.L., Julian, K., Kochenderfer, M.J.: Reluplex: an efficient SMT solver for verifying deep neural networks. In: Majumdar, R., Kun\u010dak, V. (eds.) CAV 2017. LNCS, vol. 10426, pp. 97\u2013117. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63387-9_5"},{"key":"25_CR26","unstructured":"Li, H., Xu, Z., Taylor, G., Studer, C., Goldstein, T.: Visualizing the loss landscape of neural nets. In: Advances in Neural Information Processing Systems, vol. 31 (2018)"},{"key":"25_CR27","unstructured":"Lindemann, L., et al.: Learning hybrid control barrier functions from data. In: Conference on Robot Learning, pp. 1351\u20131370. PMLR (2021)"},{"key":"25_CR28","doi-asserted-by":"crossref","unstructured":"Lindemann, L., Robey, A., Jiang, L., Das, S., Tu, S., Matni, N.: Learning robust output control barrier functions from safe expert demonstrations. IEEE Open J. Control Syst. (2024)","DOI":"10.1109\/OJCSYS.2024.3385348"},{"key":"25_CR29","unstructured":"Liu, S., Liu, C., Dolan, J.: Safe control under input limits with neural control barrier functions. In: Conference on Robot Learning, pp. 1970\u20131980. PMLR (2023)"},{"key":"25_CR30","doi-asserted-by":"publisher","DOI":"10.1016\/j.media.2021.102035","volume":"71","author":"J Ma","year":"2021","unstructured":"Ma, J., et al.: Loss odyssey in medical image segmentation. Med. Image Anal. 71, 102035 (2021)","journal-title":"Med. Image Anal."},{"key":"25_CR31","doi-asserted-by":"publisher","first-page":"973","DOI":"10.1109\/LCSYS.2022.3229865","volume":"7","author":"FB Mathiesen","year":"2022","unstructured":"Mathiesen, F.B., Calvert, S.C., Laurenti, L.: Safety certification for stochastic systems via neural barrier functions. IEEE Control Syst. Lett. 7, 973\u2013978 (2022)","journal-title":"IEEE Control Syst. Lett."},{"key":"25_CR32","unstructured":"Meunier, L., Delattre, B.J., Araujo, A., Allauzen, A.: A dynamical system perspective for Lipschitz neural networks. In: International Conference on Machine Learning, pp. 15484\u201315500. PMLR (2022)"},{"key":"25_CR33","doi-asserted-by":"crossref","unstructured":"Mnih, V., et al.: Human-level control through deep reinforcement learning. Nature 518(7540), 529\u2013533 (2015)","DOI":"10.1038\/nature14236"},{"key":"25_CR34","doi-asserted-by":"crossref","unstructured":"Nadali, A., Murali, V., Trivedi, A., Zamani, M.: Neural closure certificates. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a038, pp. 21446\u201321453 (2024)","DOI":"10.1609\/aaai.v38i19.30141"},{"issue":"5","key":"25_CR35","doi-asserted-by":"publisher","first-page":"3011","DOI":"10.1109\/TAC.2023.3255141","volume":"68","author":"A Nejati","year":"2023","unstructured":"Nejati, A., Lavaei, A., Jagtap, P., Soudjani, S., Zamani, M.: Formal verification of unknown discrete-and continuous-time systems: a data-driven approach. IEEE Trans. Autom. Control 68(5), 3011\u20133024 (2023)","journal-title":"IEEE Trans. Autom. Control"},{"key":"25_CR36","doi-asserted-by":"publisher","first-page":"2497","DOI":"10.1109\/LCSYS.2023.3285785","volume":"7","author":"A Nejati","year":"2023","unstructured":"Nejati, A., Zamani, M.: Data-driven synthesis of safety controllers via multiple control barrier certificates. IEEE Control Syst. Lett. 7, 2497\u20132502 (2023)","journal-title":"IEEE Control Syst. Lett."},{"key":"25_CR37","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1109\/LCSYS.2021.3050444","volume":"6","author":"P Pauli","year":"2021","unstructured":"Pauli, P., Koch, A., Berberich, J., Kohler, P., Allg\u00f6wer, F.: Training robust neural networks using lipschitz bounds. IEEE Control Syst. Lett. 6, 121\u2013126 (2021)","journal-title":"IEEE Control Syst. Lett."},{"key":"25_CR38","doi-asserted-by":"crossref","unstructured":"Peruffo, A., Ahmed, D., Abate, A.: Automated and formal synthesis of neural barrier certificates for dynamical models. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 370\u2013388. Springer (2021)","DOI":"10.1007\/978-3-030-72016-2_20"},{"key":"25_CR39","doi-asserted-by":"crossref","unstructured":"Prach, B., Lampert, C.H.: Almost-orthogonal layers for efficient general-purpose Lipschitz networks. In: European Conference on Computer Vision, pp. 350\u2013365. Springer (2022)","DOI":"10.1007\/978-3-031-19803-8_21"},{"key":"25_CR40","doi-asserted-by":"crossref","unstructured":"Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In: Hybrid Systems: Computation and Control, pp. 477\u2013492. Springer, Heidelberg (2004)","DOI":"10.1007\/978-3-540-24743-2_32"},{"issue":"8","key":"25_CR41","doi-asserted-by":"publisher","first-page":"1415","DOI":"10.1109\/TAC.2007.902736","volume":"52","author":"S Prajna","year":"2007","unstructured":"Prajna, S., Jadbabaie, A., Pappas, G.J.: A framework for worst-case and stochastic safety verification using barrier certificates. IEEE Trans. Autom. Control 52(8), 1415\u20131428 (2007)","journal-title":"IEEE Trans. Autom. Control"},{"key":"25_CR42","doi-asserted-by":"crossref","unstructured":"Robey, A., et al.: Learning control barrier functions from expert demonstrations. In: 2020 59th IEEE Conference on Decision and Control (CDC), pp. 3717\u20133724. IEEE (2020)","DOI":"10.1109\/CDC42340.2020.9303785"},{"key":"25_CR43","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111323","volume":"159","author":"A Salamati","year":"2024","unstructured":"Salamati, A., Lavaei, A., Soudjani, S., Zamani, M.: Data-driven verification and synthesis of stochastic systems via barrier certificates. Automatica 159, 111323 (2024)","journal-title":"Automatica"},{"issue":"2","key":"25_CR44","doi-asserted-by":"publisher","first-page":"10428","DOI":"10.1016\/j.ifacol.2023.10.1058","volume":"56","author":"M Schneeberger","year":"2023","unstructured":"Schneeberger, M., D\u00f6rfler, F., Mastellone, S.: SOS construction of compatible control lyapunov and barrier functions. IFAC-PapersOnLine 56(2), 10428\u201310434 (2023)","journal-title":"IFAC-PapersOnLine"},{"key":"25_CR45","doi-asserted-by":"crossref","unstructured":"Sha, M., et al.: Synthesizing barrier certificates of neural network controlled continuous systems via approximations. In: 58th ACM\/IEEE Design Automation Conference (DAC), pp. 631\u2013636. IEEE (2021)","DOI":"10.1109\/DAC18074.2021.9586327"},{"key":"25_CR46","doi-asserted-by":"crossref","unstructured":"Strongin, R., Barkalov, K., Bevzuk, S.: Acceleration of global search by implementing dual estimates for Lipschitz constant. In: International Conference on Numerical Computations: Theory and Algorithms, pp. 478\u2013486. Springer (2019)","DOI":"10.1007\/978-3-030-40616-5_46"},{"key":"25_CR47","unstructured":"Torop, M., Masoomi, A., Hill, D., Kose, K., Ioannidis, S., Dy, J.: Smoothhess: relu network feature interactions via stein\u2019s lemma. In: Proceedings of the 37th International Conference on Neural Information Processing Systems. NIPS 2023. Curran Associates Inc., Red Hook (2024)"},{"key":"25_CR48","unstructured":"Wang, Z., et al.: On the scalability and memory efficiency of semidefinite programs for Lipschitz constant estimation of neural networks. In: The Twelfth International Conference on Learning Representations (2024)"},{"key":"25_CR49","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF00229304","volume":"8","author":"GR Wood","year":"1996","unstructured":"Wood, G.R., Zhang, B.: Estimation of the lipschitz constant of a function. J. Global Optim. 8, 91\u2013103 (1996)","journal-title":"J. Global Optim."},{"issue":"11","key":"25_CR50","doi-asserted-by":"publisher","first-page":"5777","DOI":"10.1109\/TNNLS.2018.2808470","volume":"29","author":"W Xiang","year":"2018","unstructured":"Xiang, W., Tran, H.D., Johnson, T.T.: Output reachable set estimation and verification for multilayer neural networks. IEEE Trans. Neural Netw. Learn. Syst. 29(11), 5777\u20135783 (2018)","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."},{"key":"25_CR51","doi-asserted-by":"crossref","unstructured":"Xiao, W., Belta, C.: Control barrier functions for systems with high relative degree. In: IEEE 58th Conference on Decision and Control (CDC), pp. 474\u2013479. IEEE (2019)","DOI":"10.1109\/CDC40024.2019.9029455"},{"issue":"3","key":"25_CR52","doi-asserted-by":"publisher","first-page":"1216","DOI":"10.1109\/TASE.2017.2760863","volume":"15","author":"X Xu","year":"2017","unstructured":"Xu, X., Grizzle, J.W., Tabuada, P., Ames, A.D.: Correctness guarantees for the composition of lane keeping and adaptive cruise control. IEEE Trans. Autom. Sci. Eng. 15(3), 1216\u20131229 (2017)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"25_CR53","unstructured":"Zhang, H., Wu, J., Vorobeychik, Y., Clark, A.: Exact verification of relu neural control barrier functions. In: Advances in Neural Information Processing Systems, vol. 36 (2024)"},{"key":"25_CR54","doi-asserted-by":"crossref","unstructured":"Zhao, H., Zeng, X., Chen, T., Liu, Z.: Synthesizing barrier certificates using neural networks. In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, pp. 1\u201311 (2020)","DOI":"10.1145\/3365365.3382222"},{"issue":"3","key":"25_CR55","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/s00165-021-00544-5","volume":"33","author":"H Zhao","year":"2021","unstructured":"Zhao, H., Zeng, X., Chen, T., Liu, Z., Woodcock, J.: Learning safe neural network controllers with barrier certificates. Formal Aspects Comput. 33(3), 437\u2013455 (2021). https:\/\/doi.org\/10.1007\/s00165-021-00544-5","journal-title":"Formal Aspects Comput."},{"key":"25_CR56","doi-asserted-by":"crossref","unstructured":"Zhao, Q., et al.: Synthesizing relu neural networks with two hidden layers as barrier certificates for hybrid systems. In: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, pp. 1\u201311 (2021)","DOI":"10.1145\/3447928.3456638"},{"key":"25_CR57","doi-asserted-by":"crossref","unstructured":"Zhao, W., He, T., Wei, T., Liu, S., Liu, C.: Safety index synthesis via sum-of-squares programming. In: American Control Conference (ACC), pp. 732\u2013737. IEEE (2023)","DOI":"10.23919\/ACC55779.2023.10156463"},{"key":"25_CR58","doi-asserted-by":"crossref","unstructured":"Zhong, B., Cao, H., Zamani, M., Caccamo, M.: Towards safe AI: sandboxing DNNs-based controllers in stochastic games. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a037, pp. 15340\u201315349 (2023)","DOI":"10.1609\/aaai.v37i12.26789"},{"key":"25_CR59","unstructured":"Zhou, D., Brix, C., Hanasusanto, G.A., Zhang, H.: Scalable neural network verification with branch-and-bound inferred cutting planes. arXiv preprint arXiv:2501.00200 (2024)"},{"key":"25_CR60","unstructured":"\u017dikeli\u0107, D., Lechner, M., Verma, A., Chatterjee, K., Henzinger, T.: Compositional policy learning in stochastic control systems with formal guarantees. In: Advances in Neural Information Processing Systems, vol. 36 (2024)"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-05792-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T10:32:05Z","timestamp":1759314725000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05792-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,2]]},"ISBN":["9783032057914","9783032057921"],"references-count":60,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05792-1_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,2]]},"assertion":[{"value":"2 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QEST+FORMATS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aarhus","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","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":"26 August 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 August 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"qest2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.qest-formats.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}