{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T04:07:24Z","timestamp":1770350844840,"version":"3.49.0"},"publisher-location":"Cham","reference-count":85,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031377051","type":"print"},{"value":"9783031377068","type":"electronic"}],"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:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,7,17]],"date-time":"2023-07-17T00:00:00Z","timestamp":1689552000000},"content-version":"vor","delay-in-days":197,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Data scientists often need to write programs to process predictions of machine learning models, such as object detections and trajectories in video data. However, writing such queries can be challenging due to the fuzzy nature of real-world data; in particular, they often include real-valued parameters that must be tuned by hand. We propose a novel framework called<jats:sc>Quivr<\/jats:sc>that synthesizes trajectory queries matching a given set of examples. To efficiently synthesize parameters, we introduce a novel technique for pruning the parameter space and a novel quantitative semantics that makes this more efficient. We evaluate<jats:sc>Quivr<\/jats:sc>on a benchmark of 17 tasks, including several from prior work, and show both that it can synthesize accurate queries for each task and that our optimizations substantially reduce synthesis time.<\/jats:p>","DOI":"10.1007\/978-3-031-37706-8_23","type":"book-chapter","created":{"date-parts":[[2023,7,16]],"date-time":"2023-07-16T10:01:21Z","timestamp":1689501681000},"page":"459-484","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Synthesizing Trajectory Queries from\u00a0Examples"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-7469-8974","authenticated-orcid":false,"given":"Stephen","family":"Mell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1100-4192","authenticated-orcid":false,"given":"Favyen","family":"Bastani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3516-1512","authenticated-orcid":false,"given":"Steve","family":"Zdancewic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9990-7566","authenticated-orcid":false,"given":"Osbert","family":"Bastani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,7,17]]},"reference":[{"key":"23_CR1","doi-asserted-by":"publisher","unstructured":"Aasi, E., Vasile, C.I., Bahreinian, M., Belta, C.: Classification of time-series data using boosted decision trees. In: 2022 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 1263\u20131268 (2022). https:\/\/doi.org\/10.1109\/IROS47612.2022.9982105","DOI":"10.1109\/IROS47612.2022.9982105"},{"key":"23_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1007\/978-3-319-96145-3_15","volume-title":"Computer Aided Verification","author":"A Abate","year":"2018","unstructured":"Abate, A., David, C., Kesseli, P., Kroening, D., Polgreen, E.: Counterexample guided inductive synthesis modulo theories. In: Chockler, H., Weissenbacher, G. (eds.) CAV 2018. LNCS, vol. 10981, pp. 270\u2013288. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-96145-3_15"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., et al.: Syntax-guided synthesis. IEEE (2013)","DOI":"10.1109\/FMCAD.2013.6679385"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-319-63121-9_4","volume-title":"Models, Algorithms, Logics and Tools","author":"R Alur","year":"2017","unstructured":"Alur, R., Mamouras, K., Ulus, D.: Derivatives of quantitative regular expressions. In: Aceto, L., Bacci, G., Bacci, G., Ing\u00f3lfsd\u00f3ttir, A., Legay, A., Mardare, R. (eds.) Models, Algorithms, Logics and Tools. LNCS, vol. 10460, pp. 75\u201395. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63121-9_4"},{"key":"23_CR5","unstructured":"Bastani, F., et al.: SkyQuery: optimizing video queries over UAVs (2019)"},{"key":"23_CR6","unstructured":"Bastani, F., et al.: SkyQuery: optimizing video queries over UAVs. In: Onward! (2021)"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Bastani, F., et al.: MIRIS: fast object track queries in video. In: Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data, pp. 1907\u20131921 (2020)","DOI":"10.1145\/3318464.3389692"},{"issue":"12","key":"23_CR8","doi-asserted-by":"publisher","first-page":"2877","DOI":"10.14778\/3415478.3415498","volume":"13","author":"F Bastani","year":"2020","unstructured":"Bastani, F., Moll, O., Madden, S.: Vaas: video analytics at scale. Proc. VLDB Endow. 13(12), 2877\u20132880 (2020)","journal-title":"Proc. VLDB Endow."},{"key":"23_CR9","unstructured":"Bastani, O., Pu, Y., Solar-Lezama, A.: Verifiable reinforcement learning via policy extraction. In: Advances in Neural Information Processing Systems, pp. 2494\u20132504 (2018)"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Bergmann, P., Meinhardt, T., Leal-Taixe, L.: Tracking without bells and whistles. In: Proceedings of the IEEE International Conference on Computer Vision, pp. 941\u2013951 (2019)","DOI":"10.1109\/ICCV.2019.00103"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"850","DOI":"10.1007\/978-3-319-48881-3_56","volume-title":"Computer Vision \u2013 ECCV 2016 Workshops","author":"L Bertinetto","year":"2016","unstructured":"Bertinetto, L., Valmadre, J., Henriques, J.F., Vedaldi, A., Torr, P.H.S.: Fully-convolutional Siamese networks for object tracking. In: Hua, G., J\u00e9gou, H. (eds.) ECCV 2016. LNCS, vol. 9914, pp. 850\u2013865. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48881-3_56"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Betke, M., Hirsh, D.E., Bagchi, A., Hristov, N.I., Makris, N.C., Kunz, T.H.: Tracking large variable numbers of objects in clutter. In: 2007 IEEE Conference on Computer Vision and Pattern Recognition, pp. 1\u20138. IEEE (2007)","DOI":"10.1109\/CVPR.2007.382994"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Bock, J., Krajewski, R., Moers, T., Runde, S., Vater, L., Eckstein, L.: The inD dataset: a drone dataset of naturalistic road user trajectories at German intersections. arXiv preprint arXiv:1911.07602 (2019)","DOI":"10.1109\/IV47402.2020.9304839"},{"key":"23_CR14","doi-asserted-by":"publisher","unstructured":"Bombara, G., Belta, C.: Offline and online learning of signal temporal logic formulae using decision trees. ACM Trans. Cyber-Phys. Syst. 5(3) (2021). https:\/\/doi.org\/10.1145\/3433994","DOI":"10.1145\/3433994"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Bornholt, J., Torlak, E., Grossman, D., Ceze, L.: Optimizing synthesis with metasketches. In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 775\u2013788 (2016)","DOI":"10.1145\/2837614.2837666"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Chang, M.F., et al.: Argoverse: 3D tracking and forecasting with rich maps. In: Conference on Computer Vision and Pattern Recognition (CVPR) (2019)","DOI":"10.1109\/CVPR.2019.00895"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Chaudhuri, S., Clochard, M., Solar-Lezama, A.: Bridging Boolean and quantitative synthesis using smoothed proof search. In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 207\u2013220 (2014)","DOI":"10.1145\/2535838.2535859"},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Chen, Q., Lamoreaux, A., Wang, X., Durrett, G., Bastani, O., Dillig, I.: Web question answering with neurosymbolic program synthesis. In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, pp. 328\u2013343 (2021)","DOI":"10.1145\/3453483.3454047"},{"key":"23_CR19","unstructured":"Dasgupta, S.: Analysis of a greedy active learning strategy. In: Advances in Neural Information Processing Systems, pp. 337\u2013344 (2005)"},{"issue":"1","key":"23_CR20","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10703-017-0286-7","volume":"51","author":"JV Deshmukh","year":"2017","unstructured":"Deshmukh, J.V., Donz\u00e9, A., Ghosh, S., Jin, X., Juniwal, G., Seshia, S.A.: Robust online monitoring of signal temporal logic. Formal Meth. Syst. Des. 51(1), 5\u201330 (2017). https:\/\/doi.org\/10.1007\/s10703-017-0286-7","journal-title":"Formal Meth. Syst. Des."},{"key":"23_CR21","unstructured":"Ellis, K., Nye, M., Pu, Y., Sosa, F., Tenenbaum, J., Solar-Lezama, A.: Write, execute, assess: program synthesis with a repl. In: Advances in Neural Information Processing Systems, pp. 9169\u20139178 (2019)"},{"key":"23_CR22","unstructured":"Ellis, K., Ritchie, D., Solar-Lezama, A., Tenenbaum, J.: Learning to infer graphics programs from hand-drawn images. In: Advances in Neural Information Processing Systems, pp. 6059\u20136068 (2018)"},{"key":"23_CR23","unstructured":"Ellis, K., Solar-Lezama, A., Tenenbaum, J.: Unsupervised learning by program synthesis. In: Advances in Neural Information Processing Systems, pp. 973\u2013981 (2015)"},{"key":"23_CR24","doi-asserted-by":"publisher","unstructured":"Ergurtuna, M., Gol, E.A.: An efficient formula synthesis method with past signal temporal logic. IFAC-PapersOnLine 52(11), 43\u201348 (2019). https:\/\/doi.org\/10.1016\/j.ifacol.2019.09.116. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S2405896319307451","DOI":"10.1016\/j.ifacol.2019.09.116"},{"issue":"42","key":"23_CR25","doi-asserted-by":"publisher","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","volume":"410","author":"GE Fainekos","year":"2009","unstructured":"Fainekos, G.E., Pappas, G.J.: Robustness of temporal logic specifications for continuous-time signals. Theoret. Comput. Sci. 410(42), 4262\u20134291 (2009)","journal-title":"Theoret. Comput. Sci."},{"key":"23_CR26","doi-asserted-by":"publisher","unstructured":"Franco, L., Placidi, L., Giuliari, F., Hasan, I., Cristani, M., Galasso, F.: Under the hood of transformer networks for trajectory forecasting. Pattern Recogn. 138, 109372 (2023). https:\/\/doi.org\/10.1016\/j.patcog.2023.109372. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0031320323000730","DOI":"10.1016\/j.patcog.2023.109372"},{"key":"23_CR27","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":"23_CR28","unstructured":"Fu, D.Y., et al.: Rekall: specifying video events using compositions of spatiotemporal labels. arXiv preprint arXiv:1910.02993 (2019)"},{"key":"23_CR29","unstructured":"Giuliari, F., Hasan, I., Cristani, M., Galasso, F.: Transformer networks for trajectory forecasting (2020)"},{"key":"23_CR30","doi-asserted-by":"crossref","unstructured":"He, K., Zhang, X., Ren, S., Sun, J.: Deep residual learning for image recognition. In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, pp. 770\u2013778 (2016)","DOI":"10.1109\/CVPR.2016.90"},{"key":"23_CR31","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 (2022)"},{"key":"23_CR32","doi-asserted-by":"publisher","unstructured":"Hekmatnejad, M., et al.: Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. In: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019. Association for Computing Machinery, New York (2019). https:\/\/doi.org\/10.1145\/3359986.3361203","DOI":"10.1145\/3359986.3361203"},{"issue":"8","key":"23_CR33","doi-asserted-by":"publisher","first-page":"1735","DOI":"10.1162\/neco.1997.9.8.1735","volume":"9","author":"S Hochreiter","year":"1997","unstructured":"Hochreiter, S., Schmidhuber, J.: Long short-term memory. Neural Comput. 9(8), 1735\u20131780 (1997)","journal-title":"Neural Comput."},{"key":"23_CR34","unstructured":"Inala, J.P., Bastani, O., Tavares, Z., Solar-Lezama, A.: Synthesizing programmatic policies that inductively generalize. In: International Conference on Learning Representations (2019)"},{"issue":"3","key":"23_CR35","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/s10703-019-00332-1","volume":"54","author":"S Jha","year":"2019","unstructured":"Jha, S., Tiwari, A., Seshia, S.A., Sahai, T., Shankar, N.: TeLEx: learning signal temporal logic from positive examples using tightness metric. Formal Meth. Syst. Des. 54(3), 364\u2013387 (2019). https:\/\/doi.org\/10.1007\/s10703-019-00332-1","journal-title":"Formal Meth. Syst. Des."},{"key":"23_CR36","doi-asserted-by":"crossref","unstructured":"Ji, R., Liang, J., Xiong, Y., Zhang, L., Hu, Z.: Question selection for interactive program synthesis. In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 1143\u20131158 (2020)","DOI":"10.1145\/3385412.3386025"},{"key":"23_CR37","unstructured":"Jia, Z., Thomas, J., Warszawski, T., Gao, M., Zaharia, M., Aiken, A.: Optimizing DNN computation with relaxed graph substitutions. In: Proceedings of the 2nd Conference on Systems and Machine Learning, SysML 2019 (2019)"},{"issue":"11","key":"23_CR38","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. Circ. Syst. 34(11), 1704\u20131717 (2015). https:\/\/doi.org\/10.1109\/TCAD.2015.2421907","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circ. Syst."},{"key":"23_CR39","unstructured":"Jothimurugan, K., Alur, R., Bastani, O.: A composable specification language for reinforcement learning tasks. In: Advances in Neural Information Processing Systems, pp. 13041\u201313051 (2019)"},{"issue":"4","key":"23_CR40","doi-asserted-by":"publisher","first-page":"533","DOI":"10.14778\/3372716.3372725","volume":"13","author":"D Kang","year":"2019","unstructured":"Kang, D., Bailis, P., Zaharia, M.: Blazeit: optimizing declarative aggregation and limit queries for neural network-based video analytics. Proc. VLDB Endow. 13(4), 533\u2013546 (2019)","journal-title":"Proc. VLDB Endow."},{"key":"23_CR41","doi-asserted-by":"crossref","unstructured":"Kang, D., Mathur, A., Veeramacheneni, T., Bailis, P., Zaharia, M.: Jointly optimizing preprocessing and inference for DNN-based visual analytics. arXiv preprint arXiv:2007.13005 (2020)","DOI":"10.14778\/3425879.3425881"},{"key":"23_CR42","unstructured":"Kang, D., Raghavan, D., Bailis, P., Zaharia, M.: Model assertions for monitoring and improving ml model. arXiv preprint arXiv:2003.01668 (2020)"},{"key":"23_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-33765-9_15","volume-title":"Computer Vision \u2013 ECCV 2012","author":"KM Kitani","year":"2012","unstructured":"Kitani, K.M., Ziebart, B.D., Bagnell, J.A., Hebert, M.: Activity forecasting. In: Fitzgibbon, A., Lazebnik, S., Perona, P., Sato, Y., Schmid, C. (eds.) ECCV 2012. LNCS, vol. 7575, pp. 201\u2013214. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33765-9_15"},{"issue":"3","key":"23_CR44","doi-asserted-by":"publisher","first-page":"1210","DOI":"10.1109\/TAC.2016.2585083","volume":"62","author":"Z Kong","year":"2017","unstructured":"Kong, Z., Jones, A., Belta, C.: Temporal logics for learning and detection of anomalous behavior. IEEE Trans. Autom. Control 62(3), 1210\u20131222 (2017). https:\/\/doi.org\/10.1109\/TAC.2016.2585083","journal-title":"IEEE Trans. Autom. Control"},{"key":"23_CR45","doi-asserted-by":"publisher","unstructured":"Kong, Z., Jones, A., Medina Ayala, A., Aydin Gol, E., Belta, C.: Temporal logic inference for classification and prediction from data. In: Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, HSCC 2014, pp. 273\u2013282. Association for Computing Machinery, New York (2014). https:\/\/doi.org\/10.1145\/2562059.2562146","DOI":"10.1145\/2562059.2562146"},{"issue":"3","key":"23_CR46","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/256167.256195","volume":"19","author":"D Kozen","year":"1997","unstructured":"Kozen, D.: Kleene algebra with tests. ACM Trans. Program. Lang. Syst. (TOPLAS) 19(3), 427\u2013443 (1997)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"issue":"6","key":"23_CR47","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/3065386","volume":"60","author":"A Krizhevsky","year":"2017","unstructured":"Krizhevsky, A., Sutskever, I., Hinton, G.E.: ImageNet classification with deep convolutional neural networks. Commun. ACM 60(6), 84\u201390 (2017)","journal-title":"Commun. ACM"},{"key":"23_CR48","doi-asserted-by":"publisher","unstructured":"Linard, A., Tumova, J.: Active learning of signal temporal logic specifications. In: 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE), pp. 779\u2013785 (2020). https:\/\/doi.org\/10.1109\/CASE48305.2020.9216778","DOI":"10.1109\/CASE48305.2020.9216778"},{"key":"23_CR49","unstructured":"Maler, O.: Learning monotone partitions of partially-ordered domains (Work in Progress), July 2017. Working paper or preprint. https:\/\/hal.science\/hal-01556243"},{"key":"23_CR50","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":"23_CR51","doi-asserted-by":"crossref","unstructured":"Mell, S., Bastani, F., Zdancewic, S., Bastani, O.: Synthesizing trajectory queries from examples. Technical report, MS-CIS-23-02, Department of Computer and Information Science, University of Pennsylvania, Philadelphia, Pennsylvania, July 2023","DOI":"10.1007\/978-3-031-37706-8_23"},{"issue":"10","key":"23_CR52","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1145\/2714064.2660231","volume":"49","author":"S Misailovic","year":"2014","unstructured":"Misailovic, S., Carbin, M., Achour, S., Qi, Z., Rinard, M.C.: Chisel: Reliability-and accuracy-aware optimization of approximate computational kernels. ACM SIGPLAN Not. 49(10), 309\u2013328 (2014)","journal-title":"ACM SIGPLAN Not."},{"key":"23_CR53","doi-asserted-by":"publisher","unstructured":"Mohammadinejad, S., Deshmukh, J.V., Puranic, A.G., Vazquez-Chanlatte, M., Donz\u00e9, A.: Interpretable classification of time-series data using efficient enumerative techniques. In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, HSCC 2020, Association for Computing Machinery, New York (2020). https:\/\/doi.org\/10.1145\/3365365.3382218","DOI":"10.1145\/3365365.3382218"},{"key":"23_CR54","unstructured":"Moll, O., Bastani, F., Madden, S., Stonebraker, M., Gadepally, V., Kraska, T.: ExSample: efficient searches on video repositories through adaptive sampling. arXiv preprint arXiv:2005.09141 (2020)"},{"key":"23_CR55","doi-asserted-by":"crossref","unstructured":"Naghmouchi, J., Scarpazza, D.P., Berekovic, M.: Small-ruleset regular expression matching on GPGPUs: quantitative performance analysis and optimization. In: Proceedings of the 24th ACM International Conference on Supercomputing, pp. 337\u2013348 (2010)","DOI":"10.1145\/1810085.1810130"},{"issue":"6","key":"23_CR56","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1145\/2813885.2737982","volume":"50","author":"AV Nori","year":"2015","unstructured":"Nori, A.V., Ozair, S., Rajamani, S.K., Vijaykeerthy, D.: Efficient synthesis of probabilistic programs. ACM SIGPLAN Not. 50(6), 208\u2013217 (2015)","journal-title":"ACM SIGPLAN Not."},{"key":"23_CR57","doi-asserted-by":"crossref","unstructured":"Phothilimthana, P.M., Thakur, A., Bodik, R., Dhurjati, D.: Scaling up superoptimization. In: Proceedings of the 21st International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 297\u2013310 (2016)","DOI":"10.1145\/2954680.2872387"},{"key":"23_CR58","doi-asserted-by":"crossref","unstructured":"Preiss, J.A., Honig, W., Sukhatme, G.S., Ayanian, N.: Crazyswarm: a large nano-quadcopter swarm. In: 2017 IEEE International Conference on Robotics and Automation (ICRA), pp. 3299\u20133304. IEEE (2017)","DOI":"10.1109\/ICRA.2017.7989376"},{"key":"23_CR59","unstructured":"Redmon, J., Farhadi, A.: YOLOv3: an incremental improvement. arXiv preprint arXiv:1804.02767 (2018)"},{"key":"23_CR60","unstructured":"Ren, S., He, K., Girshick, R., Sun, J.: Fast R-CNN: towards real-time object detection with region proposal networks. In: Advances in Neural Information Processing Systems, pp. 91\u201399 (2015)"},{"key":"23_CR61","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1007\/978-3-319-46484-8_33","volume-title":"Computer Vision \u2013 ECCV 2016","author":"A Robicquet","year":"2016","unstructured":"Robicquet, A., Sadeghian, A., Alahi, A., Savarese, S.: Learning social etiquette: human trajectory understanding in crowded scenes. In: Leibe, B., Matas, J., Sebe, N., Welling, M. (eds.) ECCV 2016. LNCS, vol. 9912, pp. 549\u2013565. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46484-8_33"},{"key":"23_CR62","unstructured":"Roy, N., McCallum, A.: Toward optimal active learning through sampling estimation of error reduction. In: International Conference on Machine Learning (2001)"},{"key":"23_CR63","doi-asserted-by":"crossref","unstructured":"Sadigh, D., Sastry, S.S., Seshia, S.A., Dragan, A.: Information gathering actions over human internal state. In: 2016 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 66\u201373. IEEE (2016)","DOI":"10.1109\/IROS.2016.7759036"},{"key":"23_CR64","unstructured":"Sadigh, D., Sastry, S., Seshia, S.A., Dragan, A.D.: Planning for autonomous cars that leverage effects on human actions. In: Robotics: Science and Systems, vol. 2. Ann Arbor, MI, USA (2016)"},{"issue":"1","key":"23_CR65","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1145\/2490301.2451150","volume":"41","author":"E Schkufza","year":"2013","unstructured":"Schkufza, E., Sharma, R., Aiken, A.: Stochastic superoptimization. ACM SIGARCH Comput. Arch. News 41(1), 305\u2013316 (2013)","journal-title":"ACM SIGARCH Comput. Arch. News"},{"key":"23_CR66","doi-asserted-by":"crossref","unstructured":"Schmerling, E., Leung, K., Vollprecht, W., Pavone, M.: Multimodal probabilistic model-based planning for human-robot interaction. In: 2018 IEEE International Conference on Robotics and Automation (ICRA), pp. 1\u20139. IEEE (2018)","DOI":"10.1109\/ICRA.2018.8460766"},{"key":"23_CR67","unstructured":"Shah, A., Zhan, E., Sun, J., Verma, A., Yue, Y., Chaudhuri, S.: Learning differentiable programs with admissible neural heuristics. In: Advances in Neural Information Processing Systems, vol. 33 (2020)"},{"key":"23_CR68","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/978-3-030-72016-2_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Shi","year":"2021","unstructured":"Shi, L., Li, Y., Loo, B.T., Alur, R.: Network traffic classification by program synthesis. In: TACAS 2021. LNCS, vol. 12651, pp. 430\u2013448. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-72016-2_23"},{"key":"23_CR69","doi-asserted-by":"crossref","unstructured":"Si, X., Raghothaman, M., Heo, K., Naik, M.: Synthesizing datalog programs using numerical relaxation. In: IJCAI (2019)","DOI":"10.24963\/ijcai.2019\/847"},{"issue":"7587","key":"23_CR70","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1038\/nature16961","volume":"529","author":"D Silver","year":"2016","unstructured":"Silver, D., et al.: Mastering the game of go with deep neural networks and tree search. nature 529(7587), 484\u2013489 (2016)","journal-title":"nature"},{"key":"23_CR71","volume-title":"Program Synthesis by Sketching","author":"A Solar-Lezama","year":"2008","unstructured":"Solar-Lezama, A.: Program Synthesis by Sketching. University of California, Berkeley (2008)"},{"key":"23_CR72","doi-asserted-by":"publisher","unstructured":"Sun, J.J., et al.: The MABe22 benchmarks for representation learning of multi-agent behavior. June 2022. https:\/\/doi.org\/10.22002\/D1.20186","DOI":"10.22002\/D1.20186"},{"key":"23_CR73","unstructured":"Tabuada, P., Neider, D.: Robust linear temporal logic. In: Computer Science Logic 2016 (2016)"},{"key":"23_CR74","unstructured":"Tian, Y., et al.: Learning to infer and execute 3D shape programs. arXiv preprint arXiv:1901.02875 (2019)"},{"key":"23_CR75","doi-asserted-by":"crossref","unstructured":"Tweed, D., Calway, A.: Tracking multiple animals in wildlife footage. In: Object Recognition Supported by User Interaction for Service Robots, vol. 2, pp. 24\u201327. IEEE (2002)","DOI":"10.1109\/ICPR.2002.1048227"},{"key":"23_CR76","unstructured":"Valkov, L., Chaudhari, D., Srivastava, A., Sutton, C., Chaudhuri, S.: HOUDINI: lifelong learning as program synthesis. In: Advances in Neural Information Processing Systems, pp. 8687\u20138698 (2018)"},{"key":"23_CR77","unstructured":"Vaswani, A., et al.: Attention is all you need. In: Guyon, I., Luxburg, U.V., et al. (eds.) Advances in Neural Information Processing Systems, vol. 30. Curran Associates, Inc. (2017). https:\/\/proceedings.neurips.cc\/paper_files\/paper\/2017\/file\/3f5ee243547dee91fbd053c1c4a845aa-Paper.pdf"},{"key":"23_CR78","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-030-03769-7_22","volume-title":"Runtime Verification","author":"M Vazquez-Chanlatte","year":"2018","unstructured":"Vazquez-Chanlatte, M., Ghosh, S., Deshmukh, J.V., Sangiovanni-Vincentelli, A., Seshia, S.A.: Time-series learning using monotonic logical properties. In: Colombo, C., Leucker, M. (eds.) RV 2018. LNCS, vol. 11237, pp. 389\u2013405. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7_22"},{"key":"23_CR79","unstructured":"Verma, A., Le, H., Yue, Y., Chaudhuri, S.: Imitation-projected programmatic reinforcement learning. In: Advances in Neural Information Processing Systems, pp. 15752\u201315763 (2019)"},{"key":"23_CR80","unstructured":"Verma, A., Murali, V., Singh, R., Kohli, P., Chaudhuri, S.: Programmatically interpretable reinforcement learning. In: ICML (2018)"},{"issue":"3","key":"23_CR81","doi-asserted-by":"publisher","first-page":"1801","DOI":"10.1109\/LRA.2018.2800119","volume":"3","author":"A Weinstein","year":"2018","unstructured":"Weinstein, A., Cho, A., Loianno, G., Kumar, V.: Visual inertial odometry swarm: an autonomous swarm of vision-based quadrotors. IEEE Robot. Autom. Lett. 3(3), 1801\u20131807 (2018)","journal-title":"IEEE Robot. Autom. Lett."},{"key":"23_CR82","doi-asserted-by":"crossref","unstructured":"Wishart, J., et al.: Driving safety performance assessment metrics for ads-equipped vehicles. SAE Technical Paper 2(2020-01-1206) (2020)","DOI":"10.4271\/2020-01-1206"},{"key":"23_CR83","doi-asserted-by":"crossref","unstructured":"Wojke, N., Bewley, A., Paulus, D.: Simple online and realtime tracking with a deep association metric. In: 2017 IEEE International Conference on Image Processing (ICIP), pp. 3645\u20133649. IEEE (2017)","DOI":"10.1109\/ICIP.2017.8296962"},{"key":"23_CR84","unstructured":"Young, H., Bastani, O., Naik, M.: Learning neurosymbolic generative models via program synthesis. In: ICML (2019)"},{"key":"23_CR85","unstructured":"Zhan, E., Tseng, A., Yue, Y., Swaminathan, A., Hausknecht, M.: Learning calibratable policies using programmatic style-consistency. In: ICML (2020)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-37706-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,24]],"date-time":"2024-10-24T06:59:57Z","timestamp":1729753197000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-37706-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031377051","9783031377068"],"references-count":85,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-37706-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"17 July 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","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":"17 July 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 July 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"35","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cav2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.i-cav.org\/2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"hotcrp","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"261","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":"67","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":"26% - 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":"11","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)"}}]}}