{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:20:01Z","timestamp":1742966401104,"version":"3.40.3"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030955601"},{"type":"electronic","value":"9783030955618"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-95561-8_5","type":"book-chapter","created":{"date-parts":[[2022,2,21]],"date-time":"2022-02-21T19:04:21Z","timestamp":1645470261000},"page":"61-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Uncertainty-Aware Signal Temporal Logic Inference"],"prefix":"10.1007","author":[{"given":"Nasim","family":"Baharisangari","sequence":"first","affiliation":[]},{"given":"Jean-Rapha\u00ebl","family":"Gaglione","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"Neider","sequence":"additional","affiliation":[]},{"given":"Ufuk","family":"Topcu","sequence":"additional","affiliation":[]},{"given":"Zhe","family":"Xu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,2,22]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Essien, A., Petrounias, I., Sampaio, P., Sampaio, S.: Improving urban traffic speed prediction using data source fusion and deep learning. In: 2019 IEEE International Conference on Big Data and Smart Computing, BigComp 2019 - Proceedings (March 2019)","DOI":"10.1109\/BIGCOMP.2019.8679231"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Essien, A., Petrounias, I., Sampaio, P., Sandra, S.: A deep-learning model for urban traffic flow prediction with traffic events mined from twitter. World Wide Web (2020)","DOI":"10.1007\/s11280-020-00800-3"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Boukerche, A., Wang, J.: Machine learning-based traffic prediction models for intelligent transportation systems. Comput. Netw. 181(August), 107530 (2020). https:\/\/doi.org\/10.1016\/j.comnet.2020.107530","DOI":"10.1016\/j.comnet.2020.107530"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Fujiyoshi, H., Hirakawa, T., Yamashita, T.: Deep learning-based image recognition for autonomous driving. IATSS Res. 43(4), 244\u2013252 (2019). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0386111219301566","DOI":"10.1016\/j.iatssr.2019.11.008"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Sarker, I.H.: Machine learning: algorithms, real-world applications and research directions. SN Comput. Sci. 2(3) (2021). https:\/\/doi.org\/10.1007\/s42979-021-00592-x","DOI":"10.1007\/s42979-021-00592-x"},{"key":"5_CR6","unstructured":"Anzai, Y.: Pattern Recognition and Machine Learning, no. 1992. Elsevier, Amsterdam (2012)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Sintov, A., Kimmel, A., Bekris, K.E., Boularias, A.: Motion planning with competency-aware transition models for underactuated adaptive hands. In: Proceedings\u2013IEEE International Conference on Robotics and Automation, pp. 7761\u20137767 (2020)","DOI":"10.1109\/ICRA40945.2020.9196564"},{"key":"5_CR8","unstructured":"Shvo, M., Li, A.C., Icarte, R.T., McIlraith, S.A.: Interpretable sequence classification via discrete optimization. arXiv, vol. 1 (2020)"},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.probengmech.2007.08.004","volume":"23","author":"A Basudhar","year":"2008","unstructured":"Basudhar, A., Missoum, S., Sanchez, A.H.: Limit state function identification using support vector machines for discontinuous responses and disjoint failure domains. Probab. Eng. Mech. 23(1), 1\u201311 (2008)","journal-title":"Probab. Eng. Mech."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Raman, V., Donz\u00e9, A., Sadigh, D., Murray, R.M., Seshia, S.A.: Reactive synthesis from signal temporal logic specifications. In: Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015, pp. 239\u2013248 (2015)","DOI":"10.1145\/2728606.2728628"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3290364","volume":"3","author":"K Bae","year":"2019","unstructured":"Bae, K., Lee, J.: Bounded model checking of signal temporal logic properties using syntactic separation. Proc. ACM Program. Lang. 3, 1\u201330 (2019)","journal-title":"Proc. ACM Program. Lang."},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-642-29860-8_12","volume-title":"Runtime Verification","author":"E Asarin","year":"2012","unstructured":"Asarin, E., Donz\u00e9, A., Maler, O., Nickovic, D.: Parametric identification of temporal properties. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 147\u2013160. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29860-8_12"},{"key":"5_CR13","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"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Budde, C.E., D\u2019Argenio, P.R., Hartmanns, A., Sedwards, S.: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic, vol. 1, pp. 340\u2013358 (2018). http:\/\/dx.doi.org\/10.1007\/978-3-319-89963-3_20","DOI":"10.1007\/978-3-319-89963-3_20"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L De Moura","year":"2008","unstructured":"De Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-10452-7_3","volume-title":"Formal Methods: Foundations and Applications","author":"L De Moura","year":"2009","unstructured":"De Moura, L., Bj\u00f8rner, N.: Satisfiability modulo theories: an appetizer. In: Oliveira, M.V.M., Woodcock, J. (eds.) SBMF 2009. LNCS, vol. 5902, pp. 23\u201336. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-10452-7_3"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R.: Handbook of model checking (2018)","DOI":"10.1007\/978-3-319-10575-8"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Neider, D., Gavran, I.: Learning linear temporal properties. In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018, pp. 148\u2013157 (2019)","DOI":"10.23919\/FMCAD.2018.8603016"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Bombara, G., Vasile, C.I., Penedo, F., Yasuoka, H., Belta, C.: A decision tree approach to data classification using signal temporal logic. In: HSCC 2016\u2013Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, pp. 1\u201310 (2016)","DOI":"10.1145\/2883817.2883843"},{"issue":"3","key":"5_CR20","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/LLS.2016.2644646","volume":"2","author":"Z Xu","year":"2016","unstructured":"Xu, Z., Birtwistle, M., Belta, C., Julius, A.: A temporal logic inference approach for model discrimination. IEEE Life Sci. Lett. 2(3), 19\u201322 (2016)","journal-title":"IEEE Life Sci. Lett."},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Xu, Z., Belta, C., Julius, A.: Temporal logic inference with prior information: an application to robot arm movements. IFAC-PapersOnLine 48(27), 141\u2013146 (2015). http:\/\/dx.doi.org\/10.1016\/j.ifacol.2015.11.166","DOI":"10.1016\/j.ifacol.2015.11.166"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Moosavi, A., Rao, V., Sandu, A.: Machine learning based algorithms for uncertainty quantification in numerical weather prediction models. J. Comput. Sci. 50(September 2020), 101295 (2021). https:\/\/doi.org\/10.1016\/j.jocs.2020.101295","DOI":"10.1016\/j.jocs.2020.101295"},{"key":"5_CR23","unstructured":"Malinin, A., Gales, M.J.F.: Uncertainty estimation in deep learning with application to spoken language assessment, no. August (2019). https:\/\/www.repository.cam.ac.uk\/handle\/1810\/298857"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Hubschneider, C., Hutmacher, R., Zollner, J.M.: Calibrating uncertainty models for steering angle estimation. 2019 IEEE Intelligent Transportation Systems Conference, ITSC 2019, pp. 1511\u20131518 (2019)","DOI":"10.1109\/ITSC.2019.8917207"},{"key":"5_CR25","unstructured":"Abdar, M., et al.: A review of uncertainty quantification in deep learning: Techniques, applications and challenges, arXiv (2020)"},{"issue":"11","key":"5_CR26","doi-asserted-by":"publisher","first-page":"1704","DOI":"10.1109\/TCAD.2015.2421907","volume":"34","author":"X Jin","year":"2015","unstructured":"Jin, X., Donz\u00e9, A., Deshmukh, J.V., Seshia, S.A.: Mining requirements from closed-loop control models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(11), 1704\u20131717 (2015)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-319-67531-2_13","volume-title":"Runtime Verification","author":"S Jha","year":"2017","unstructured":"Jha, S., Tiwari, A., Seshia, S.A., Sahai, T., Shankar, N.: TeLEx: passive STL learning using only\u00a0positive examples. In: Lahiri, S., Reger, G. (eds.) RV 2017. LNCS, vol. 10548, pp. 208\u2013224. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-67531-2_13"},{"key":"5_CR28","unstructured":"Vazquez-Chanlatte, M., Jha, S., Tiwari, A., Ho, M.K., Seshia, S.A.: Learning task specifications from demonstrations, arXiv, no. NeurIPS, pp. 1\u201311 (2017)"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Kong, Z., Jones, A., Medina Ayala, A., Aydin Gol, E., Belta, C.: Temporal logic inference for classification and prediction from data. In: HSCC 2014 - Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (Part of CPS Week), no. August, pp. 273\u2013282 (2014)","DOI":"10.1145\/2562059.2562146"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Bombara, G., Belta, C.: Online learning of temporal logic formulae for signal classification. In: 2018 European Control Conference, ECC 2018, pp. 2057\u20132062 (2018)","DOI":"10.23919\/ECC.2018.8550271"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Nguyen, L.V., Deshmukh, J.V., Kapinski, J., Butts, K., Jin, X., Johnson, T.T.: Abnormal data classification using time-frequency temporal logic. In: HSCC 2017 - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), pp. 237\u2013242 (2017)","DOI":"10.1145\/3049797.3049809"},{"key":"5_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-319-21668-3_21","volume-title":"Computer Aided Verification","author":"T Akazaki","year":"2015","unstructured":"Akazaki, T., Hasuo, I.: Time robustness in MTL and expressivity in hybrid system falsification. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9207, pp. 356\u2013374. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21668-3_21"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Xu, Z., Duan, X.: Robust Pandemic Control Synthesis with Formal Specifications: A Case Study on COVID-19 Pandemic (2021). http:\/\/arxiv.org\/abs\/2103.14262","DOI":"10.1109\/CDC45484.2021.9683197"},{"issue":"1","key":"5_CR34","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1109\/TASE.2018.2836867","volume":"16","author":"Z Xu","year":"2019","unstructured":"Xu, Z., Saha, S., Hu, B., Mishra, S., Julius, A.A.: Advisory temporal logic inference and controller design for semiautonomous robots. IEEE Trans. Autom. Sci. Eng. 16(1), 459\u2013477 (2019)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"issue":"October","key":"5_CR35","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/978-3-662-10778-2_5","volume":"8","author":"K Schneider","year":"2004","unstructured":"Schneider, K.: Temporal logics. Verif. React. Syst. 8(October), 279\u2013403 (2004)","journal-title":"Verif. React. Syst."},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42), 4262\u20134291 (2009). http:\/\/dx.doi.org\/10.1016\/j.tcs.2009.06.021","DOI":"10.1016\/j.tcs.2009.06.021"},{"issue":"4","key":"5_CR37","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/s00158-014-1105-z","volume":"50","author":"P Jiang","year":"2014","unstructured":"Jiang, P., Missoum, S., Chen, Z.: Optimal SVM parameter selection for non-separable and unbalanced datasets. Struct. Multidiscip. Optim. 50(4), 523\u2013535 (2014)","journal-title":"Struct. Multidiscip. Optim."},{"key":"5_CR38","unstructured":"Sebastiani, R., Trentin, P.: On optimization modulo theories, MaxSMT and sorting networks, CoRR, vol. abs\/1702.02385 (2017). http:\/\/arxiv.org\/abs\/1702.02385"},{"key":"5_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-662-46681-0_14","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"N Bj\u00f8rner","year":"2015","unstructured":"Bj\u00f8rner, N., Phan, A.-D., Fleckenstein, L.: $$\\nu $$z - an optimizing SMT solver. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 194\u2013199. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_14"},{"key":"5_CR40","doi-asserted-by":"crossref","unstructured":"Biere, A., Cimatti, A., Clarke, E.M., Strichman, O., Zhu, Y.: Bounded model checking. Adv. Comput. 58(C), 117\u2013148 (2003)","DOI":"10.1016\/S0065-2458(03)58003-2"},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Baharisangari, N., Gaglione, J.R., Neider, D., Topcu, U., Xu, Z.: Uncertainty-aware signal temporal logic inference (2021)","DOI":"10.1007\/978-3-030-95561-8_5"},{"key":"5_CR42","unstructured":"Xu, Z., et al.: Joint inference of reward machines and policies for reinforcement learning. In: Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, 2020, pp. 590\u2013598 (2020)"},{"key":"5_CR43","doi-asserted-by":"crossref","unstructured":"Xu, Z., Nettekoven, A.J., Julius, A.A., Topcu, U.: Graph temporal logic inference for classification and identification. In: Proceedings of the IEEE Conference on Decision and Control, vol. 2019-December, pp. 4761\u20134768 (2019)","DOI":"10.1109\/CDC40024.2019.9029181"},{"key":"5_CR44","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-030-88885-5_6","volume-title":"Automated Technology for Verification and Analysis","author":"J-R Gaglione","year":"2021","unstructured":"Gaglione, J.-R., Neider, D., Roy, R., Topcu, U., Xu, Z.: Learning linear temporal properties from noisy data: a MaxSAT-based approach. In: Hou, Z., Ganesh, V. (eds.) ATVA 2021. LNCS, vol. 12971, pp. 74\u201390. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88885-5_6"},{"key":"5_CR45","unstructured":"Nagabandi, A., Konolige, K., Levine, S., Kumar, V.: Deep dynamics models for learning dexterous manipulation, pp. 1\u201312 (2019)"}],"container-title":["Lecture Notes in Computer Science","Software Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-95561-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T16:18:27Z","timestamp":1674836307000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-95561-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030955601","9783030955618"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-95561-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"22 February 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VSTTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Working Conference on Verified Software: Theories, Tools, and Experiments","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"vstte2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/verify.inf.usi.ch\/VSTTE21","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"41% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3,1","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2,3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}