{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T09:13:52Z","timestamp":1780391632277,"version":"3.54.1"},"publisher-location":"Cham","reference-count":53,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031460012","type":"print"},{"value":"9783031460029","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,12,14]],"date-time":"2023-12-14T00:00:00Z","timestamp":1702512000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,12,14]],"date-time":"2023-12-14T00:00:00Z","timestamp":1702512000000},"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-46002-9_11","type":"book-chapter","created":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T16:02:36Z","timestamp":1702483356000},"page":"188-214","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards a\u00a0Formal Account on\u00a0Negative Latency"],"prefix":"10.1007","author":[{"given":"Clemens","family":"Dubslaff","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jonas","family":"Schulz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Patrick","family":"Wienh\u00f6ft","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christel","family":"Baier","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Frank H. P.","family":"Fitzek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stefan J.","family":"Kiebel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Johannes","family":"Lehmann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,12,14]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., Vardi, M.Y.: Parametric real-time reasoning. In: Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing, STOC 1993, pp. 592\u2013601. ACM, New York (1993)","DOI":"10.1145\/167088.167242"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/978-3-030-25540-4_29","volume-title":"Computer Aided Verification","author":"P Ashok","year":"2019","unstructured":"Ashok, P., K\u0159et\u00ednsk\u00fd, J., Weininger, M.: PAC statistical model checking for Markov decision processes and stochastic games. In: Dillig, I., Tasiran, S. (eds.) CAV 2019. LNCS, vol. 11561, pp. 497\u2013519. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_29"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-030-91384-7_4","volume-title":"Model Checking, Synthesis, and Learning","author":"G Bacci","year":"2021","unstructured":"Bacci, G., Delahaye, B., Larsen, K.G., Mariegaard, A.: Quantitative analysis of interval Markov Chains. In: Olderog, E.-R., Steffen, B., Yi, W. (eds.) Model Checking, Synthesis, and Learning. LNCS, vol. 13030, pp. 57\u201377. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-91384-7_4"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"963","DOI":"10.1007\/978-3-319-10575-8_28","volume-title":"Handbook of Model Checking","author":"C Baier","year":"2018","unstructured":"Baier, C., de Alfaro, L., Forejt, V., Kwiatkowska, M.: Model checking probabilistic systems. In: Handbook of Model Checking, pp. 963\u2013999. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8_28"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Baier, C., Cuevas Rivera, D., Dubslaff, C., Kiebel, S.J.: Human-inspired models for tactile computing, chap. 8, pp. 173\u2013200. Academic Press (2021)","DOI":"10.1016\/B978-0-12-821343-8.00019-8"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-319-06200-6_24","volume-title":"NASA Formal Methods","author":"C Baier","year":"2014","unstructured":"Baier, C., Daum, M., Dubslaff, C., Klein, J., Kl\u00fcppelholz, S.: Energy-utility quantiles. In: Badger, J.M., Rozier, K.Y. (eds.) NFM 2014. LNCS, vol. 8430, pp. 285\u2013299. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06200-6_24"},{"key":"11_CR7","doi-asserted-by":"publisher","unstructured":"Baier, C., Dubslaff, C., Funke, F., Jantsch, S., Piribauer, J., Ziemek, R.: Operational causality - necessarily sufficient and sufficiently necessary. In: A Journey from Process Algebra via Timed Automata to Model Learning. Lecture Notes in Computer Science, vol. 13560, pp. 27\u201345. Springer, Heidelberg (2022). https:\/\/doi.org\/10.1007\/978-3-031-15629-8_2","DOI":"10.1007\/978-3-031-15629-8_2"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1007\/978-3-319-68167-2_27","volume-title":"Automated Technology for Verification and Analysis","author":"C Baier","year":"2017","unstructured":"Baier, C., Dubslaff, C., Koren\u010diak, L., Ku\u010dera, A., \u0158eh\u00e1k, V.: Synthesis of optimal resilient control strategies. In: D\u2019Souza, D., Narayan Kumar, K. (eds.) ATVA 2017. LNCS, vol. 10482, pp. 417\u2013434. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68167-2_27"},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-031-33170-1_6","volume-title":"NASA Formal Methods","author":"C Baier","year":"2023","unstructured":"Baier, C., Dubslaff, C., Wienh\u00f6ft, P., Kiebel, S.J.: Strategy synthesis in markov decision processes under limited sampling access. In: Rozier, K.Y., Chaudhuri, S. (eds.) NASA Formal Methods, pp. 86\u2013103. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-33170-1_6"},{"key":"11_CR10","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Carr, S., Jansen, N., Wimmer, R., Fu, J., Topcu, U.: Human-in-the-loop synthesis for partially observable markov decision processes. In: 2018 Annual American Control Conference, ACC 2018, Milwaukee, WI, USA, 27\u201329 June 2018, pp. 762\u2013769. IEEE (2018)","DOI":"10.23919\/ACC.2018.8431911"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/978-3-540-78499-9_22","volume-title":"Foundations of Software Science and Computational Structures","author":"K Chatterjee","year":"2008","unstructured":"Chatterjee, K., Sen, K., Henzinger, T.A.: Model-checking $$\\omega $$-regular properties of interval markov chains. In: Amadio, R. (ed.) FoSSaCS 2008. LNCS, vol. 4962, pp. 302\u2013317. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78499-9_22"},{"issue":"1","key":"11_CR13","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MVT.2013.2295069","volume":"9","author":"GP Fettweis","year":"2014","unstructured":"Fettweis, G.P.: The tactile internet: applications and challenges. IEEE Veh. Technol. Mag. 9(1), 64\u201370 (2014)","journal-title":"IEEE Veh. Technol. Mag."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Fitzek, F.H., Li, S.C., Speidel, S., Strufe, T.: Chapter 1 - Tactile Internet with Human-in-the-Loop: New Frontiers of Transdisciplinary Research. Academic Press (2021)","DOI":"10.1016\/B978-0-12-821343-8.00010-1"},{"key":"11_CR15","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness (Series of Books in the Mathematical Sciences)","author":"MR Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness (Series of Books in the Mathematical Sciences), 1st edn. W. H. Freeman, New York City (1979)","edition":"1"},{"key":"11_CR16","volume-title":"Deep Learning","author":"I Goodfellow","year":"2016","unstructured":"Goodfellow, I., Bengio, Y., Courville, A.: Deep Learning. MIT Press, Cambridge (2016)"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-662-47666-6_19","volume-title":"Automata, Languages, and Programming","author":"C Haase","year":"2015","unstructured":"Haase, C., Kiefer, S.: The odds of staying on budget. In: Halld\u00f3rsson, M.M., Iwama, K., Kobayashi, N., Speckmann, B. (eds.) ICALP 2015. LNCS, vol. 9135, pp. 234\u2013246. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-47666-6_19"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-319-89963-3_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Hartmanns","year":"2018","unstructured":"Hartmanns, A., Junges, S., Katoen, J.-P., Quatmann, T.: Multi-cost bounded reachability in MDP. In: Beyer, D., Huisman, M. (eds.) TACAS 2018. LNCS, vol. 10806, pp. 320\u2013339. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-89963-3_19"},{"issue":"301","key":"11_CR19","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)","journal-title":"J. Am. Stat. Assoc."},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/s10994-021-05946-3","volume":"110","author":"E H\u00fcllermeier","year":"2021","unstructured":"H\u00fcllermeier, E., Waegeman, W.: Aleatoric and epistemic uncertainty in machine learning: an introduction to concepts and methods. Mach. Learn. 110, 457\u2013506 (2021)","journal-title":"Mach. Learn."},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Jonsson, B., Larsen, K.G.: Specification and refinement of probabilistic processes. In: Proceedings of the 6th Annual IEEE Symposium on Logic in Computer Science (LICS), pp. 266\u2013277 (1991)","DOI":"10.1109\/LICS.1991.151651"},{"key":"11_CR22","unstructured":"Lakshminarayanan, B., Pritzel, A., Blundell, C.: Simple and scalable predictive uncertainty estimation using deep ensembles. Adv. Neural Inf. Process. Syst. 30 (2017)"},{"key":"11_CR23","unstructured":"Laroche, R., Trichelair, P., des Combes, R.T.: Safe policy improvement with baseline bootstrapping. In: ICML, pp. 3652\u20133661. PMLR (2019)"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Lema, M.A., et al.: 5G case study of internet of skills: slicing the human senses. In: 2017 European Conference on Networks and Communications (EuCNC), pp. 1\u20136 (2017)","DOI":"10.1109\/EuCNC.2017.7980762"},{"issue":"1","key":"11_CR25","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/TITS.2020.3012034","volume":"23","author":"S Mozaffari","year":"2022","unstructured":"Mozaffari, S., Al-Jarrah, O.Y., Dianati, M., Jennings, P., Mouzakitis, A.: Deep learning-based vehicle behavior prediction for autonomous driving applications: a review. IEEE Trans. Intell. Transp. Syst. 23(1), 33\u201347 (2022)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"4","key":"11_CR26","doi-asserted-by":"publisher","first-page":"3098","DOI":"10.1109\/COMST.2018.2841349","volume":"20","author":"I Parvez","year":"2018","unstructured":"Parvez, I., Rahmati, A., Guvenc, I., Sarwat, A.I., Dai, H.: A survey on low latency towards 5G: ran, core network and caching solutions. IEEE Commun. Surve. Tutor. 20(4), 3098\u20133130 (2018)","journal-title":"IEEE Commun. Surve. Tutor."},{"key":"11_CR27","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111387","volume":"192","author":"B Peischl","year":"2022","unstructured":"Peischl, B., Tazl, O.A., Wotawa, F.: Testing anticipatory systems: a systematic mapping study on the state of the art. J. Syst. Softw. 192, 111387 (2022)","journal-title":"J. Syst. Softw."},{"key":"11_CR28","doi-asserted-by":"crossref","unstructured":"Pejovic, V., Musolesi, M.: Anticipatory mobile computing: a survey of the state of the art and research challenges. ACM Comput. Surv. 47(3) (2015)","DOI":"10.1145\/2693843"},{"key":"11_CR29","unstructured":"Petrik, M., Ghavamzadeh, M., Chow, Y.: Safe policy improvement by minimizing robust baseline regret. In: NIPS, pp. 2298\u20132306. Curran Associates, Inc. (2016)"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Symposium on Foundations of Computer Science (SFCS), pp. 46\u201357. IEEE (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"11_CR31","doi-asserted-by":"publisher","DOI":"10.1002\/9780470316887","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"M Puterman","year":"1994","unstructured":"Puterman, M.: Markov Decision Processes: Discrete Stochastic Dynamic Programming. John Wiley & Sons Inc., Hoboken (1994)"},{"key":"11_CR32","doi-asserted-by":"publisher","DOI":"10.1002\/9781118776353","volume-title":"Reliability of Safety-Critical Systems: Theory and Applications","author":"M Rausand","year":"2014","unstructured":"Rausand, M.: Reliability of Safety-Critical Systems: Theory and Applications, 1st edn. Wiley Publishing, Hoboken (2014)","edition":"1"},{"key":"11_CR33","unstructured":"Rosen, R.: Anticipatory systems: philosophical, mathematical, and methodological foundations. In: IFSR International Series on Systems Science and Engineering. Elsevier Science & Technology Books (1985)"},{"key":"11_CR34","doi-asserted-by":"crossref","unstructured":"Schulz, J., Dubslaff, C., Seeling, P., Li, S.C., Speidel, S., Fitzek, F.H.P.: Negative latency in the tactile internet as enabler for global metaverse immersion. IEEE Netw. (2023)","DOI":"10.1109\/MNET.2024.3375522"},{"key":"11_CR35","doi-asserted-by":"crossref","unstructured":"Schulz, J., Nguyen, V., Seeling, P., Nguyen, G.T., Fitzek, F.H.P.: Anticipatory hand glove: understanding human actions for enhanced interaction. In: Proceedings of the ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp). Association for Computing Machinery (2023). accepted for publication","DOI":"10.1145\/3594739.3610714"},{"key":"11_CR36","doi-asserted-by":"crossref","unstructured":"Seeling, P., Fitzek, F.H.: Anticipatory networking: Negative latency for ubiquitous computing. In: 2021 IEEE 18th Annual Consumer Communications & Networking Conference (CCNC), pp. 1\u20134 (2021)","DOI":"10.1109\/CCNC49032.2021.9369624"},{"key":"11_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/11691372_26","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K Sen","year":"2006","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Model-checking Markov chains in the presence of uncertainties. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 394\u2013410. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11691372_26"},{"issue":"3","key":"11_CR38","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1002\/j.1538-7305.1948.tb01338.x","volume":"27","author":"CE Shannon","year":"1948","unstructured":"Shannon, C.E.: A mathematical theory of communication. Bell Syst. Tech. J. 27(3), 379\u2013423 (1948)","journal-title":"Bell Syst. Tech. J."},{"key":"11_CR39","doi-asserted-by":"crossref","unstructured":"Silva Filho, T., Song, H., Perello-Nieto, M., Santos-Rodriguez, R., Kull, M., Flach, P.: Classifier calibration: a survey on how to assess and improve predicted class probabilities. In: Machine Learning, pp. 1\u201350 (2023)","DOI":"10.1007\/s10994-023-06336-7"},{"key":"11_CR40","doi-asserted-by":"crossref","unstructured":"Simsek, M., Aijaz, A., Dohler, M., Sachs, J., Fettweis, G.: The 5G-enabled tactile internet: applications, requirements, and architecture. In: 2016 IEEE Wireless Communications and Networking Conference, pp. 1\u20136 (2016)","DOI":"10.1109\/WCNC.2016.7564647"},{"key":"11_CR41","doi-asserted-by":"crossref","unstructured":"Strehl, A., Littman, M.: An empirical evaluation of interval estimation for markov decision processes, pp. 128\u2013135 (2004)","DOI":"10.1109\/ICTAI.2004.28"},{"key":"11_CR42","doi-asserted-by":"publisher","first-page":"1309","DOI":"10.1016\/j.jcss.2007.08.009","volume":"74","author":"A Strehl","year":"2008","unstructured":"Strehl, A., Littman, M.: An analysis of model-based interval estimation for markov decision processes. J. Comput. Syst. Sci. 74, 1309\u20131331 (2008)","journal-title":"J. Comput. Syst. Sci."},{"key":"11_CR43","unstructured":"Suilen, M., Sim\u00e3o, T., Jansen, N., Parker, D.: Robust anytime learning of markov decision processes. In: Proceedings of NeurIPS (2022)"},{"key":"11_CR44","doi-asserted-by":"crossref","unstructured":"Sun, Q., Huang, X., Gu, J., Williams, B.C., Zhao, H.: M2i: from factored marginal trajectory prediction to interactive prediction. In: 2022 IEEE\/CVF Conference on Computer Vision and Pattern Recognition (CVPR), pp. 6533\u20136542. IEEE Computer Society, Los Alamitos (2022)","DOI":"10.1109\/CVPR52688.2022.00643"},{"key":"11_CR45","volume-title":"Reinforcement Learning: An Introduction","author":"RS Sutton","year":"2018","unstructured":"Sutton, R.S., Barto, A.G.: Reinforcement Learning: An Introduction, 2nd edn. The MIT Press, Cambridge (2018)","edition":"2"},{"issue":"1","key":"11_CR46","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1147\/rd.111.0025","volume":"11","author":"RM Tomasulo","year":"1967","unstructured":"Tomasulo, R.M.: An efficient algorithm for exploiting multiple arithmetic units. IBM J. Res. Dev. 11(1), 25\u201333 (1967)","journal-title":"IBM J. Res. Dev."},{"key":"11_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-3-642-37075-5_23","volume-title":"Foundations of Software Science and Computation Structures","author":"M Ummels","year":"2013","unstructured":"Ummels, M., Baier, C.: Computing quantiles in markov reward models. In: Pfenning, F. (ed.) FoSSaCS 2013. LNCS, vol. 7794, pp. 353\u2013368. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-37075-5_23"},{"key":"11_CR48","unstructured":"Urban, C., Min\u00e9, A.: A review of formal methods applied to machine learning. arXiv preprint arXiv:2104.02466 (2021)"},{"key":"11_CR49","doi-asserted-by":"crossref","unstructured":"Vardi, M.Y.: Automatic verification of probabilistic concurrent finite-state programs. In: Proceedings of the 26th IEEE Symposium on Foundations of Computer Science (FOCS), pp. 327\u2013338. IEEE Computer Society (1985)","DOI":"10.1109\/SFCS.1985.12"},{"key":"11_CR50","unstructured":"Weissman, T., Ordentlich, E., Seroussi, G., Verd\u00fa, S., Weinberger, M.J.: Inequalities for the L1 deviation of the empirical distribution. Technical Report, Hewlett-Packard Labs (2003)"},{"key":"11_CR51","doi-asserted-by":"crossref","unstructured":"Wienh\u00f6ft, P., Suilen, M., Sim\u00e3o, T.D., Dubslaff, C., Baier, C., Jansen, N.: More for less: safe policy improvement with stronger performance guarantees. In: IJCAI (2023)","DOI":"10.24963\/ijcai.2023\/490"},{"issue":"8","key":"11_CR52","doi-asserted-by":"publisher","first-page":"945","DOI":"10.1016\/j.artint.2007.12.002","volume":"172","author":"D Wu","year":"2008","unstructured":"Wu, D., Koutsoukos, X.: Reachability analysis of uncertain systems using bounded-parameter markov decision processes. Artif. Intell. 172(8), 945\u2013954 (2008)","journal-title":"Artif. Intell."},{"issue":"5","key":"11_CR53","doi-asserted-by":"publisher","first-page":"1098","DOI":"10.1109\/JSAC.2019.2906788","volume":"37","author":"Z Xiang","year":"2019","unstructured":"Xiang, Z., Gabriel, F., Urbano, E., Nguyen, G.T., Reisslein, M., Fitzek, F.H.P.: Reducing latency in virtual machines: enabling tactile internet for human-machine co-working. IEEE J. Sel. Areas Commun. 37(5), 1098\u20131116 (2019)","journal-title":"IEEE J. Sel. Areas Commun."}],"container-title":["Lecture Notes in Computer Science","Bridging the Gap Between AI and Reality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-46002-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,5]],"date-time":"2024-11-05T22:10:28Z","timestamp":1730844628000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-46002-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,14]]},"ISBN":["9783031460012","9783031460029"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-46002-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,12,14]]},"assertion":[{"value":"14 December 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Bridging the Gap between AI and Reality","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":"23 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aisola2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2023-aisola.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}