{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,26]],"date-time":"2026-06-26T21:38:54Z","timestamp":1782509934518,"version":"3.54.5"},"publisher-location":"Cham","reference-count":67,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031590566","type":"print"},{"value":"9783031590573","type":"electronic"}],"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-59057-3_21","type":"book-chapter","created":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T22:02:19Z","timestamp":1715119339000},"page":"334-344","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Operational Modeling of\u00a0Temporal Intervals for\u00a0Intelligent Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5945-7505","authenticated-orcid":false,"given":"J. I.","family":"Olszewska","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,5,8]]},"reference":[{"key":"21_CR1","unstructured":"Al-Lail, M., Abdunabi, R., France, R.B., Ray, I.: An approach to analyzing temporal properties in UML class models. In: Proceedings of the ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems Workshop (MODELS), pp. 77\u201386 (2013)"},{"issue":"11","key":"21_CR2","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"key":"21_CR3","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-319-11680-8_27","volume-title":"Knowledge and Systems Engineering","author":"\u00c9 Andr\u00e9","year":"2015","unstructured":"Andr\u00e9, \u00c9., Choppy, C., Noulamo, T.: Modelling timed concurrent systems using activity diagram patterns. In: Nguyen, V.-H., Le, A.-C., Huynh, V.-N. (eds.) Knowledge and Systems Engineering. AISC, vol. 326, pp. 339\u2013351. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-11680-8_27"},{"issue":"1","key":"21_CR4","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1109\/MRA.2022.3143966","volume":"29","author":"D Araiza-Illan","year":"2022","unstructured":"Araiza-Illan, D., Fisher, M., Leahy, K., Olszewska, J.I., Redfield, S.: Verification of autonomous systems. IEEE Robot. Autom. Mag. 29(1), 2\u20133 (2022)","journal-title":"IEEE Robot. Autom. Mag."},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Arechiga, N.: Specifying safety of autonomous vehicles in signal temporal logic. In: Proceedings of the IEEE Intelligent Vehicles Symposium (IV), pp. 58\u201363 (2019)","DOI":"10.1109\/IVS.2019.8813875"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/S1574-6526(05)80014-8","volume":"1","author":"A Artale","year":"2005","unstructured":"Artale, A., Franconi, E.: Temporal description logics. Handb. Time Temporal Reason. Artif. Intell. 1, 375\u2013388 (2005)","journal-title":"Handb. Time Temporal Reason. Artif. Intell."},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Artale, A., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Tractable interval temporal propositional and description logics. In: Proceedings of the AAAI Conference on Artificial Intelligence (AAAI) (2015)","DOI":"10.1609\/aaai.v29i1.9406"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Bastos, R., Ruiz, D.: Extending UML activity diagram for workflow modeling in production systems. In: Proceedings of the IEEE Annual Hawaii International Conference on System Sciences, pp. 3786\u20133795 (2002)","DOI":"10.1109\/HICSS.2002.994510"},{"issue":"6","key":"21_CR9","first-page":"1","volume":"8","author":"S Batsakis","year":"2016","unstructured":"Batsakis, S., Petrakis, E., Tachmazidis, I., Antoniou, G.: Temporal representation and reasoning in OWL 2. Semant. Web J. 8(6), 1\u201320 (2016)","journal-title":"Semant. Web J."},{"issue":"5","key":"21_CR10","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1108\/IR-02-2016-0059","volume":"43","author":"B Bayat","year":"2016","unstructured":"Bayat, B., et al.: Requirements for building an ontology for autonomous robots. Ind. Robot. 43(5), 469\u2013480 (2016)","journal-title":"Ind. Robot."},{"key":"21_CR11","unstructured":"Berardi, D., Calvanese, D., Giacomo, G.D.: Reasoning on UML class diagrams using description logic based systems. In: Proceedings of the KI Workshop on Applications of Description Logics, vol. 44 (2001)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Binder, R.: Software dependability measurement at the age of 36. IEEE Comput. 57(4), 1\u201318 (2024). https:\/\/arxiv.org\/abs\/2311.10039","DOI":"10.1109\/MC.2023.3327668"},{"key":"21_CR13","unstructured":"Black, R., Davenport, J.H., Olszewska, J.I., Roessler, J., Smith, A.L., Wright, J.: Artificial Intelligence and Software Testing: Building Systems You Can Trust. BCS Press, London (2022)"},{"key":"21_CR14","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Pearson, London (2005)"},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-45221-8_5","volume-title":"UML 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"J Cabot","year":"2003","unstructured":"Cabot, J., Oliv\u00e9, A., Teniente, E.: Representing temporal information in UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 44\u201359. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-45221-8_5"},{"key":"21_CR16","unstructured":"Cali, A., Calvanese, D., Giacomo, G.D., Lenzerini, M.: Reasoning on UML class diagrams in description logics. In: Proceedings of IJCAR Workshop on Precise Modelling and Deduction for Object-Oriented Software Development, pp. 77\u201386 (2001)"},{"issue":"4","key":"21_CR17","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"EM Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.M.: Formal methods: state of the art and future directions. ACM Comput. Surv. 28(4), 626\u2013643 (1996)","journal-title":"ACM Comput. Surv."},{"key":"21_CR18","unstructured":"Cox, S., Little, C.: Time ontology in owl. A w3c candidate recommendation draft for a time ontology. W3C recommendation (2022). https:\/\/www.w3.org\/TR\/2022\/CRD-owl-time-20221115\/"},{"issue":"105","key":"21_CR19","first-page":"73","volume":"3","author":"D Della Monica","year":"2013","unstructured":"Della Monica, D., Goranko, V., Montanari, A., Sciavicco, G.: Interval temporal logics: a journey. Bull. EATCS 3(105), 73\u201399 (2013)","journal-title":"Bull. EATCS"},{"key":"21_CR20","doi-asserted-by":"crossref","unstructured":"Dennis, L., Fisher, M.: Verifiable Autonomous Systems. Cambridge University Press, Cambridge (2023)","DOI":"10.1017\/9781108755023"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Dreossi, T., et al.: Verifai: a toolkit for the formal design and analysis of artificial intelligence-based systems. In: Proceedings of the International Conference on Computer Aided Verification (CAV), pp. 432\u2013442 (2019)","DOI":"10.1007\/978-3-030-25540-4_25"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Fiorini, S.R., et al.: A suite of ontologies for robotics and automation. IEEE Robot. Autom. Mag. 24(1), 8\u201311 (2017)","DOI":"10.1109\/MRA.2016.2645444"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Fisher, M.: An Introduction to Practical Formal Methods Using Temporal Logic. Wiley, Hoboken (2011)","DOI":"10.1002\/9781119991472"},{"key":"21_CR24","volume-title":"UML Distilled","author":"M Fowler","year":"2004","unstructured":"Fowler, M.: UML Distilled, 3rd edn. Addison-Wesley, USA (2004)","edition":"3"},{"key":"21_CR25","doi-asserted-by":"crossref","unstructured":"Pignaton de Freitas, E., et al.: Ontological concepts for information sharing in cloud robotics. J. Ambient Intell. Humaniz. Comput. 14(5), 4921\u20134932 (2023)","DOI":"10.1007\/s12652-020-02150-4"},{"key":"21_CR26","doi-asserted-by":"crossref","unstructured":"Ghosh, S., et al.: Diagnosis and repair for synthesis from signal temporal logic specifications. In: Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 31\u201340 (2016)","DOI":"10.1145\/2883817.2883847"},{"key":"21_CR27","doi-asserted-by":"crossref","unstructured":"Goranko, V.: Temporal Logics. Cambridge University Press, Cambridge (2023)","DOI":"10.1017\/9781009170093"},{"issue":"9","key":"21_CR28","first-page":"1137","volume":"9","author":"V Goranko","year":"2003","unstructured":"Goranko, V., Montanari, A., Sciavicco, G.: Propositional interval neighborhood temporal logics. J. Univ. Comput. Sci. 9(9), 1137\u20131167 (2003)","journal-title":"J. Univ. Comput. Sci."},{"key":"21_CR29","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1613\/jair.3826","volume":"46","author":"BB Hariri","year":"2013","unstructured":"Hariri, B.B., Calvanese, D., Montali, M., Giacomo, G.D., Masellis, R.D., Felli, P.: Description logic knowledge and action bases. J. Artif. Intell. Res. 46, 651\u2013686 (2013)","journal-title":"J. Artif. Intell. Res."},{"key":"21_CR30","doi-asserted-by":"crossref","unstructured":"He, J., Bartocci, E., Nickovic, D., Isakovic, H., Grosu, R.: Deepstl - from English requirements to signal temporal logic. In: Proceedings of the IEEE\/ACM International Conference on Software Engineering (ICSE), pp. 610\u2013622 (2022)","DOI":"10.1145\/3510003.3510171"},{"key":"21_CR31","doi-asserted-by":"crossref","unstructured":"Hekmatnejad, M., et al.: Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. In: Proceedings of the ACM International Conference on Formal Methods and Models for System Design, pp. 1\u201311 (2019)","DOI":"10.1145\/3359986.3361203"},{"key":"21_CR32","doi-asserted-by":"crossref","unstructured":"Ho, Q.H., Ilyes, R.B., Sunberg, Z.N., Lahijanian, M.: Automaton-guided control synthesis for signal temporal logic specifications. In: Proceedings of the IEEE International Conference on Decision and Control (CDC), pp. 1\u20138 (2022)","DOI":"10.1109\/CDC51059.2022.9993090"},{"key":"21_CR33","unstructured":"Houghtaling, M.A., et al.: Standardizing an ontology for ethically aligned robotic and autonomous systems. IEEE Trans. Syst. Man Cybern. Syst. 1\u201314 (2023)"},{"key":"21_CR34","unstructured":"Hoxha, B., Fainekos, G.: Planning in dynamic environments through temporal logic monitoring. In: Proceedings of the AAAI International Conference on Artificial Intelligence Workshops (AAAI), pp. 601\u2013607 (2016)"},{"issue":"1","key":"21_CR35","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s10817-017-9413-9","volume":"60","author":"S Jha","year":"2018","unstructured":"Jha, S., Raman, V., Sadigh, D., Seshia, S.A.: Safe autonomy under perception uncertainty using chance-constrained temporal logic. J. Autom. Reason. 60(1), 43\u201362 (2018)","journal-title":"J. Autom. Reason."},{"issue":"2","key":"21_CR36","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1023\/B:FORM.0000017720.64153.57","volume":"24","author":"D Kortenkamp","year":"2004","unstructured":"Kortenkamp, D., Simmons, R., Milam, T., Fernandez, J.L.: A suite of tools for debugging distributed autonomous systems. Form. Methods Syst. Des. 24(2), 157\u2013188 (2004)","journal-title":"Form. Methods Syst. Des."},{"issue":"4","key":"21_CR37","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), 255\u2013299 (1990)","journal-title":"Real-Time Syst."},{"key":"21_CR38","unstructured":"Kvarnstrom, J., Heintz, F., Doherty, P.: A temporal logic-based planning and execution monitoring system. In: Proceedings of the AAAI International Conference on Automated Planning and Scheduling (ICAPS), pp. 198\u2013205 (2008)"},{"key":"21_CR39","doi-asserted-by":"crossref","unstructured":"de Leng, D., Heintz, F.: Approximate stream reasoning with metric temporal logic under uncertainty. In: Proceedings of the AAAI International Conference on Artificial Intelligence (AAAI), pp. 2760\u20132767 (2019)","DOI":"10.1609\/aaai.v33i01.33012760"},{"key":"21_CR40","doi-asserted-by":"crossref","unstructured":"Lewandowski, R., Olszewska, J.I.: Automated task scheduling for automotive industry. In: Proceedings of the IEEE International Conference on Intelligent Engineering Systems, pp. 159\u2013164 (2020)","DOI":"10.1109\/INES49302.2020.9147169"},{"key":"21_CR41","doi-asserted-by":"crossref","unstructured":"Li, T., et al.: STSL: a novel spatio-temporal specification language for cyber-physical systems. In: Proceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS), pp. 309\u2013319 (2020)","DOI":"10.1109\/QRS51102.2020.00048"},{"key":"21_CR42","doi-asserted-by":"crossref","unstructured":"Liu, J., Prabhakar, P.: Switching control of dynamical systems from metric temporal logic specifications. In: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), pp. 5333\u20135338 (2014)","DOI":"10.1109\/ICRA.2014.6907643"},{"key":"21_CR43","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-230-80419-7","volume-title":"Software Development with UML","author":"K Lunn","year":"2003","unstructured":"Lunn, K.: Software Development with UML. Palgrave MacMillan, New York, USA (2003)"},{"key":"21_CR44","doi-asserted-by":"crossref","unstructured":"Lutz, C., Wolter, F., Zakharyashev, M.: Temporal description logics: a survey. In: Proceedings of the IEEE International Symposium on Temporal Representation and Reasoning, pp. 3\u201314 (2008)","DOI":"10.1109\/TIME.2008.14"},{"key":"21_CR45","doi-asserted-by":"crossref","unstructured":"Maierhofer, S., Rettinger, A.K., Mayer, E.C., Althoff, M.: Formalization of interstate traffic rules in temporal logic. In: Proceedings of the IEEE Intelligent Vehicles Symposium (IV), pp. 752\u2013759 (2020)","DOI":"10.1109\/IV47402.2020.9304549"},{"key":"21_CR46","doi-asserted-by":"crossref","unstructured":"Menghi, C., Nejati, S., Briand, L., Parache, Y.I.: Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification. In: Proceedings of the IEEE\/ACM International Conference on Software Engineering (ICSE), pp. 372\u2013384 (2020)","DOI":"10.1145\/3377811.3380370"},{"key":"21_CR47","unstructured":"Mijatov, S., Langer, P., Mayerhofer, T., Kappel, G.: A framework for testing UML activities based on fUML. In: Proceedings of the ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 1\u201310 (2013)"},{"key":"21_CR48","doi-asserted-by":"crossref","unstructured":"Muniraj, D., Vamvoudakis, K.G., Farhood, M.: Enforcing signal temporal logic specifications in multi-agent adversarial environments: a deep q-learning approach. In: Proceedings of the IEEE International Conference on Decision and Control (CDC), pp. 4141\u20134146 (2018)","DOI":"10.1109\/CDC.2018.8618746"},{"key":"21_CR49","doi-asserted-by":"crossref","unstructured":"Olivares-Alarcos, A., et al.: A review and comparison of ontology-based approaches to robot autonomy. Knowl. Eng. Rev. 34, 1\u201338 (2019)","DOI":"10.1017\/S0269888919000237"},{"key":"21_CR50","doi-asserted-by":"crossref","unstructured":"Olszewska, J.I.: UML activity diagrams for OWL ontology building. In: Proceedings of the International Conference on Knowledge Engineering and Ontology Development (KEOD), pp. 370\u2013374 (2015)","DOI":"10.5220\/0005633103700374"},{"key":"21_CR51","unstructured":"Olszewska, J.I.: Temporal interval modeling for UML activity diagrams. In: Proceedings of International Conference on Knowledge Engineering and Ontology Development (KEOD), pp. 566\u2013569 (2016)"},{"key":"21_CR52","doi-asserted-by":"crossref","unstructured":"Olszewska, J.I.: Designing transparent and autonomous intelligent vision systems. In: Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART), pp. 850\u2013856 (2019)","DOI":"10.5220\/0007585208500856"},{"key":"21_CR53","doi-asserted-by":"crossref","unstructured":"Olszewska, J.I.: AI-T: Software testing ontology for AI-based systems. In: Proceedings of the International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (KEOD), pp. 291\u2013298 (2020)","DOI":"10.5220\/0010147902910298"},{"key":"21_CR54","unstructured":"Olszewska, J.I.: Formal approaches, ontologies, and standards for the verification of autonomous systems. In: IEEE International Conference on Robotics and Automation (ICRA) (2022)"},{"key":"21_CR55","doi-asserted-by":"crossref","unstructured":"Olszewska, J.I.: Trustworthy intelligent systems: an ontological model. In: Proceedings of the International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (KEOD), pp. 207\u2013214 (2022)","DOI":"10.5220\/0011552700003335"},{"key":"21_CR56","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0269888922000030","volume":"37","author":"JI Olszewska","year":"2022","unstructured":"Olszewska, J.I., Bermejo-Alonso, J., Sanz, R.: Special issue on ontologies and standards for intelligent systems. Knowl. Eng. Rev. 37, 1\u20134 (2022)","journal-title":"Knowl. Eng. Rev."},{"key":"21_CR57","doi-asserted-by":"crossref","unstructured":"Olszewska, J.I., Simpson, R.M., McCluskey, T.L.: Dynamic OWL ontology design using UML and BPMN. In: Proceedings of the International Conference on Knowledge Engineering and Ontology Development (KEOD), pp. 436\u2013444 (2014)","DOI":"10.5220\/0005159204360444"},{"key":"21_CR58","doi-asserted-by":"crossref","unstructured":"Pant, Y.V., Quaye, R.A., Abbas, H., Varre, A., Mangharam, R.: Fly-by-logic: a tool for unmanned aircraft system fleet planning using temporal logic. In: Proceedings of the NASA Formal Methods Symposium, pp. 355\u2013362 (2019)","DOI":"10.1007\/978-3-030-20652-9_24"},{"issue":"4","key":"21_CR59","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1109\/MRA.2021.3117414","volume":"28","author":"E Prestes","year":"2021","unstructured":"Prestes, E., et al.: IEEE P7007: the first global ontological standard for ethically driven robotics and automation systems. IEEE Robot. Autom. Mag. 28(4), 120\u2013124 (2021)","journal-title":"IEEE Robot. Autom. Mag."},{"key":"21_CR60","doi-asserted-by":"publisher","first-page":"4797","DOI":"10.1109\/ACCESS.2020.3048047","volume":"9","author":"N Rajabli","year":"2021","unstructured":"Rajabli, N., Flammini, F., Nardone, R., Vittorini, V.: Software verification and validation of safe autonomous cars: a systematic literature review. IEEE Access 9, 4797\u20134819 (2021)","journal-title":"IEEE Access"},{"key":"21_CR61","doi-asserted-by":"publisher","first-page":"87456","DOI":"10.1109\/ACCESS.2020.2993730","volume":"8","author":"S Riedmaier","year":"2020","unstructured":"Riedmaier, S., Ponn, T., Ludwig, D., Schick, B., Diermeyer, F.: Survey on scenario-based safety assessment of automated vehicles. IEEE Access 8, 87456\u201387477 (2020)","journal-title":"IEEE Access"},{"key":"21_CR62","doi-asserted-by":"crossref","unstructured":"Rodionova, A., Alvarez, I., Elli, M.S., Oboril, F., Quast, J., Mangharam, R.: How safe is safe enough? Automatic safety constraints boundary estimation for decision-making in automated vehicles. In: Proceedings of the IEEE Intelligent Vehicles Symposium (IV), pp. 1457\u20131464 (2020)","DOI":"10.1109\/IV47402.2020.9304756"},{"key":"21_CR63","doi-asserted-by":"crossref","unstructured":"Sampath Kumar, V.R., et al.: Ontologies for industry 4.0. Knowl. Eng. Rev. 34, 1\u201314 (2019)","DOI":"10.1017\/S0269888919000109"},{"key":"21_CR64","doi-asserted-by":"crossref","unstructured":"Slee, D., Cain, S., Vichare, P., Olszewska, J.I.: Smart lifts: an ontological perspective. In: Proceedings of the International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (KEOD), pp. 210\u2013219 (2021)","DOI":"10.5220\/0010690700003064"},{"key":"21_CR65","doi-asserted-by":"crossref","unstructured":"Thomas, U., Hirzinger, G., Rumpe, B., Schulze, C., Wortmann, A.: A new skill based robot programming language using UML\/P statecharts. In: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), pp. 461\u2013466 (2013)","DOI":"10.1109\/ICRA.2013.6630615"},{"key":"21_CR66","doi-asserted-by":"crossref","unstructured":"Xu, Z., Yazdani, K., Hale, M.T., Topcu, U.: Differentially private controller synthesis with metric temporal logic specifications. In: Proceedings of the IEEE American Control Conference (ACC), pp. 4745\u20134750 (2020)","DOI":"10.23919\/ACC45564.2020.9147949"},{"issue":"1","key":"21_CR67","first-page":"1","volume":"12","author":"Y Zhu","year":"2023","unstructured":"Zhu, Y., Al-Ahmed, S.A., Shakir, M.Z., Olszewska, J.I.: LSTM-based IoT enabled co2 steady state forecasting for indoor air quality monitoring. Electronics 12(1), 1\u201312 (2023)","journal-title":"Electronics"}],"container-title":["Communications in Computer and Information Science","Robotics, Computer Vision and Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-59057-3_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,18]],"date-time":"2024-11-18T07:01:19Z","timestamp":1731913279000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-59057-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031590566","9783031590573"],"references-count":67,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-59057-3_21","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"8 May 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ROBOVIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Robotics, Computer Vision and Intelligent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rome","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 February 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 February 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"robovis2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/robovis.scitevents.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}