{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T16:19:04Z","timestamp":1762273144371,"version":"3.40.3"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031442667"},{"type":"electronic","value":"9783031442674"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-44267-4_13","type":"book-chapter","created":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:03:27Z","timestamp":1696118607000},"page":"251-270","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Pattern Matching for\u00a0Perception Streams"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4491-9399","authenticated-orcid":false,"given":"Jacob","family":"Anderson","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0456-2129","authenticated-orcid":false,"given":"Georgios","family":"Fainekos","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6255-7566","authenticated-orcid":false,"given":"Bardh","family":"Hoxha","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0009-2533-9581","authenticated-orcid":false,"given":"Hideki","family":"Okamoto","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6208-4233","authenticated-orcid":false,"given":"Danil","family":"Prokhorov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,10,1]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Aho, A.V.: Pattern matching in strings. In: Formal Language Theory, pp. 325\u2013347. Elsevier (1980)","DOI":"10.1016\/B978-0-12-115350-2.50016-6"},{"key":"13_CR2","volume-title":"Compilers: Principles, Techniques and Tools","author":"AV Aho","year":"2020","unstructured":"Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques and Tools. Addison-Wesley, Pearson (2020)"},{"key":"13_CR3","unstructured":"Alfred, V.: Algorithms for finding patterns in strings. In: Algorithms and Complexity, vol. 1, p. 255 (2014)"},{"issue":"11","key":"13_CR4","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":"13_CR5","doi-asserted-by":"publisher","first-page":"9476","DOI":"10.1109\/TITS.2023.3268281","volume":"24","author":"Z Bai","year":"2023","unstructured":"Bai, Z., et al.: Cyber mobility mirror: a deep learning-based real-world object perception platform using roadside LiDAR. IEEE Trans. Intell. Transp. Syst. 24, 9476\u20139489 (2023)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-3-030-88494-9_18","volume-title":"Runtime Verification","author":"A Balakrishnan","year":"2021","unstructured":"Balakrishnan, A., Deshmukh, J., Hoxha, B., Yamaguchi, T., Fainekos, G.: PerceMon: online monitoring for\u00a0perception systems. In: Feng, L., Fisman, D. (eds.) RV 2021. LNCS, vol. 12974, pp. 297\u2013308. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88494-9_18"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/3-540-44585-4_33","volume-title":"Computer Aided Verification","author":"I Beer","year":"2001","unstructured":"Beer, I., Ben-David, S., Eisner, C., Fisman, D., Gringauze, A., Rodeh, Y.: The temporal logic sugar. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol. 2102, pp. 363\u2013367. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44585-4_33"},{"issue":"10","key":"13_CR8","doi-asserted-by":"publisher","first-page":"762","DOI":"10.1145\/359842.359859","volume":"20","author":"RS Boyer","year":"1977","unstructured":"Boyer, R.S., Moore, J.S.: A fast string searching algorithm. Commun. ACM 20(10), 762\u2013772 (1977)","journal-title":"Commun. ACM"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Caesar, H., et al.: nuScenes: a multimodal dataset for autonomous driving. In: Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition, pp. 11621\u201311631 (2020)","DOI":"10.1109\/CVPR42600.2020.01164"},{"issue":"4","key":"13_CR10","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1109\/69.404033","volume":"7","author":"A Del Bimbo","year":"1995","unstructured":"Del Bimbo, A., Vicario, E., Zingoni, D.: Symbolic description and visual querying of image sequences using spatio-temporal logic. IEEE Trans. Knowl. Data Eng. 7(4), 609\u2013622 (1995)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-030-03769-7_23","volume-title":"Runtime Verification","author":"A Dokhanchi","year":"2018","unstructured":"Dokhanchi, A., Amor, H.B., Deshmukh, J.V., Fainekos, G.: Evaluating perception systems for autonomous vehicles using quality temporal logic. In: Colombo, C., Leucker, M. (eds.) RV 2018. LNCS, vol. 11237, pp. 409\u2013416. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7_23"},{"key":"13_CR12","unstructured":"Dosovitskiy, A., Ros, G., Codevilla, F., Lopez, A., Koltun, V.: CARLA: an open urban driving simulator. In: Conference on Robot Learning, pp. 1\u201316. PMLR (2017)"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/s11263-009-0275-4","volume":"88","author":"M Everingham","year":"2010","unstructured":"Everingham, M., Van Gool, L., Williams, C.K., Winn, J., Zisserman, A.: The pascal visual object classes (VOC) challenge. Int. J. Comput. Vis. 88, 303\u2013338 (2010)","journal-title":"Int. J. Comput. Vis."},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"103013","DOI":"10.1016\/j.autcon.2019.103013","volume":"110","author":"W Fang","year":"2020","unstructured":"Fang, W., et al.: Computer vision applications in construction safety assurance. Autom. Constr. 110, 103013 (2020)","journal-title":"Autom. Constr."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Fremont, D.J., Dreossi, T., Ghosh, S., Yue, X., Sangiovanni-Vincentelli, A.L., Seshia, S.A.: Scenic: a language for scenario specification and scene generation. In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 63\u201378 (2019)","DOI":"10.1145\/3314221.3314633"},{"key":"13_CR16","volume-title":"Mastering Regular Expressions","author":"JE Friedl","year":"2006","unstructured":"Friedl, J.E.: Mastering Regular Expressions. O\u2019Reilly Media Inc., Sebastopol (2006)"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1613\/jair.1537","volume":"23","author":"D Gabelaia","year":"2005","unstructured":"Gabelaia, D., Kontchakov, R., Kurucz, A., Wolter, F., Zakharyaschev, M.: Combining spatial and temporal logics: expressiveness vs. complexity. J. Artif. Intell. Res. 23, 167\u2013243 (2005)","journal-title":"J. Artif. Intell. Res."},{"key":"13_CR18","unstructured":"Gallant, A.: regex-automata (2023). https:\/\/github.com\/rust-lang\/regex"},{"key":"13_CR19","unstructured":"Hekmatnejad, M., Hoxha, B., Deshmukh, J.V., Yang, Y., Fainekos, G.: Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic. arXiv preprint arXiv:2206.14372 (2022)"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Janai, J., G\u00fcney, F., Behl, A., Geiger, A., et al.: Computer vision for autonomous vehicles: problems, datasets and state of the art. Found. Trends\u00ae Comput. Graph. Vis. 12(1\u20133), 1\u2013308 (2020)","DOI":"10.1561\/0600000079"},{"issue":"1\u20132","key":"13_CR21","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1504\/IJCVR.2012.046419","volume":"3","author":"K Kapach","year":"2012","unstructured":"Kapach, K., Barnea, E., Mairon, R., Edan, Y., Ben-Shahar, O.: Computer vision for fruit harvesting robots-state of the art and challenges ahead. Int. J. Comput. Vis. Robot. 3(1\u20132), 4\u201334 (2012)","journal-title":"Int. J. Comput. Vis. Robot."},{"key":"13_CR22","unstructured":"Kesten, R., et al.: Woven planet perception dataset 2020 (2019). https:\/\/woven.toyota\/en\/perception-dataset"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Kim, E., et al.: Querying labelled data with scenario programs for sim-to-real validation. In: 2022 ACM\/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS), pp. 34\u201345. IEEE (2022)","DOI":"10.1109\/ICCPS54341.2022.00010"},{"issue":"2","key":"13_CR24","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1137\/0206024","volume":"6","author":"DE Knuth","year":"1977","unstructured":"Knuth, D.E., Morris, J.H., Jr., Pratt, V.R.: Fast pattern matching in strings. SIAM J. Comput. 6(2), 323\u2013350 (1977)","journal-title":"SIAM J. Comput."},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Kontchakov, R., Kurucz, A., Wolter, F., Zakharyaschev, M.: Spatial logic+ temporal logic=?. In: Handbook of Spatial Logics, pp. 497\u2013564 (2007)","DOI":"10.1007\/978-1-4020-5587-4_9"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"740","DOI":"10.1007\/978-3-319-10602-1_48","volume-title":"Computer Vision \u2013 ECCV 2014","author":"T-Y Lin","year":"2014","unstructured":"Lin, T.-Y., et al.: Microsoft COCO: common objects in context. In: Fleet, D., Pajdla, T., Schiele, B., Tuytelaars, T. (eds.) ECCV 2014. LNCS, vol. 8693, pp. 740\u2013755. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10602-1_48"},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"Lu, D., et al.: CAROM air-vehicle localization and traffic scene reconstruction from aerial videos. arXiv preprint arXiv:2306.00075 (2023)","DOI":"10.1109\/ICRA48891.2023.10160502"},{"issue":"3","key":"13_CR28","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/2692956.2663188","volume":"34","author":"ND Matsakis","year":"2014","unstructured":"Matsakis, N.D., Klock, F.S.: The rust language. ACM SIGAda Ada Lett. 34(3), 103\u2013104 (2014)","journal-title":"ACM SIGAda Ada Lett."},{"key":"13_CR29","doi-asserted-by":"publisher","first-page":"15305","DOI":"10.1109\/JSEN.2023.3260193","volume":"23","author":"T Meng","year":"2023","unstructured":"Meng, T., Huang, J., Chew, C.M., Yang, D., Zhong, Z.: Configuration and design schemes of environmental sensing and vehicle computing systems for automated driving: a review. IEEE Sens. J. 23, 15305\u201315320 (2023)","journal-title":"IEEE Sens. J."},{"issue":"4\u20135","key":"13_CR30","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1177\/0278364920979368","volume":"40","author":"M Pitropov","year":"2021","unstructured":"Pitropov, M., et al.: Canadian adverse driving conditions dataset. Int. J. Robot. Res. 40(4\u20135), 681\u2013690 (2021)","journal-title":"Int. J. Robot. Res."},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (SFCS 1977), pp. 46\u201357. IEEE (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"13_CR32","unstructured":"Quigley, M., et al.: ROS: an open-source robot operating system. In: ICRA Workshop on Open Source Software, p. 5. No. 3.2 in 3, Kobe, Japan (2009)"},{"key":"13_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/11817963_25","volume-title":"Computer Aided Verification","author":"G Ro\u015fu","year":"2006","unstructured":"Ro\u015fu, G., Bensalem, S.: Allen linear (interval) temporal logic \u2013 translation to LTL and monitor synthesis. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 263\u2013277. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11817963_25"},{"key":"13_CR34","doi-asserted-by":"crossref","unstructured":"Sun, P., et al.: Scalability in perception for autonomous driving: Waymo open dataset. In: Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition, pp. 2446\u20132454 (2020)","DOI":"10.1109\/CVPR42600.2020.00252"},{"key":"13_CR35","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.cviu.2017.04.011","volume":"159","author":"G Thomas","year":"2017","unstructured":"Thomas, G., Gade, R., Moeslund, T.B., Carr, P., Hilton, A.: Computer vision for sports: current applications and research topics. Comput. Vis. Image Underst. 159, 3\u201318 (2017)","journal-title":"Comput. Vis. Image Underst."},{"key":"13_CR36","unstructured":"Turtiainen, H., Costin, A., Lahtinen, T., Sintonen, L., Hamalainen, T.: Towards large-scale, automated, accurate detection of CCTV camera objects using computer vision. applications and implications for privacy, safety, and cybersecurity. arXiv preprint arXiv:2006.03870 (2020)"},{"issue":"5","key":"13_CR37","doi-asserted-by":"publisher","first-page":"1253","DOI":"10.1016\/j.surg.2020.10.039","volume":"169","author":"TM Ward","year":"2021","unstructured":"Ward, T.M., et al.: Computer vision in surgery. Surgery 169(5), 1253\u20131256 (2021)","journal-title":"Surgery"},{"issue":"1\u20132","key":"13_CR38","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/S0019-9958(83)80051-5","volume":"56","author":"P Wolper","year":"1983","unstructured":"Wolper, P.: Temporal logic can be more expressive. Inf. Control 56(1\u20132), 72\u201399 (1983)","journal-title":"Inf. Control"},{"key":"13_CR39","doi-asserted-by":"crossref","unstructured":"Xiao, P., et al.: PandaSet: advanced sensor suite dataset for autonomous driving. In: 2021 IEEE International Intelligent Transportation Systems Conference (ITSC), pp. 3095\u20133101. IEEE (2021)","DOI":"10.1109\/ITSC48978.2021.9565009"},{"issue":"1","key":"13_CR40","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1109\/TASE.2016.2611536","volume":"15","author":"Z Xu","year":"2016","unstructured":"Xu, Z., Julius, A.A.: Census signal temporal logic inference for multiagent group behavior analysis. IEEE Trans. Autom. Sci. Eng. 15(1), 264\u2013277 (2016)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"13_CR41","doi-asserted-by":"crossref","unstructured":"Yadav, P., Curry, E.: VidCEP: complex event processing framework to detect spatiotemporal patterns in video streams. In: 2019 IEEE International conference on big data (big data), pp. 2513\u20132522. IEEE (2019)","DOI":"10.1109\/BigData47090.2019.9006018"},{"key":"13_CR42","doi-asserted-by":"crossref","unstructured":"Yu, F., et al.: Bdd100k: a diverse driving dataset for heterogeneous multitask learning. In: Proceedings of the IEEE\/CVF Conference on Computer Vision and Pattern Recognition, pp. 2636\u20132645 (2020)","DOI":"10.1109\/CVPR42600.2020.00271"},{"key":"13_CR43","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1016\/j.isprsjprs.2022.12.021","volume":"196","author":"Y Zhang","year":"2023","unstructured":"Zhang, Y., Carballo, A., Yang, H., Takeda, K.: Perception and sensing for autonomous vehicles under adverse weather conditions: a survey. ISPRS J. Photogrammetry Remote Sens. 196, 146\u2013177 (2023)","journal-title":"ISPRS J. Photogrammetry Remote Sens."}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-44267-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:14:39Z","timestamp":1696119279000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-44267-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031442667","9783031442674"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-44267-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"1 October 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Thessaloniki","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":"3 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/rv23.csd.auth.gr","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":"39","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":"13","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":"7","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":"33% - 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","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":"3,15","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)"}},{"value":"The proceedings includes also 4 Tutorial Papers and  2 Invited Papers","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}