{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:40:09Z","timestamp":1755909609369,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,5,14]],"date-time":"2024-05-14T00:00:00Z","timestamp":1715644800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,5,14]]},"DOI":"10.1145\/3641513.3650129","type":"proceedings-article","created":{"date-parts":[[2024,5,2]],"date-time":"2024-05-02T18:05:48Z","timestamp":1714673148000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9536-7053","authenticated-orcid":false,"given":"Ruya","family":"Karagulle","sequence":"first","affiliation":[{"name":"University of Michigan, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5552-4392","authenticated-orcid":false,"given":"Necmiye","family":"Ozay","sequence":"additional","affiliation":[{"name":"University of Michigan, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-5585-7006","authenticated-orcid":false,"given":"Nikos","family":"Arechiga","sequence":"additional","affiliation":[{"name":"Toyota Research Institute, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0933-9671","authenticated-orcid":false,"given":"Jonathan","family":"Decastro","sequence":"additional","affiliation":[{"name":"Toyota Research Institute, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-5128-0282","authenticated-orcid":false,"given":"Andrew","family":"Best","sequence":"additional","affiliation":[{"name":"Toyota Research Institute, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2909824.3020250"},{"key":"e_1_3_2_1_2_1","first-page":"2640","volume-title":"Proceedings of the Conference on Robot Learning. PMLR, 1177\u20131190","author":"Biyik Erdem","year":"2020","unstructured":"Erdem Biyik, Malayandi Palan, Nicholas\u00a0C. Landolfi, Dylan\u00a0P. Losey, and Dorsa Sadigh. 2020. Asking Easy Questions: A User-Friendly Approach to Active Reward Learning. In Proceedings of the Conference on Robot Learning. PMLR, 1177\u20131190. ISSN: 2640-3498."},{"key":"e_1_3_2_1_3_1","first-page":"324","article-title":"Rank Analysis of Incomplete Block Designs","volume":"39","author":"Bradley Ralph\u00a0Allan","year":"1952","unstructured":"Ralph\u00a0Allan Bradley and Milton\u00a0E. Terry. 1952. Rank Analysis of Incomplete Block Designs: I. The Method of Paired Comparisons. Biometrika 39, 3\/4 (1952), 324\u2013345.","journal-title":"I. The Method of Paired Comparisons. Biometrika"},{"volume-title":"Learning Preferences for Interactive Autonomy. Ph.\u00a0D. Dissertation","author":"B\u0131y\u0131k Erdem","key":"e_1_3_2_1_4_1","unstructured":"Erdem B\u0131y\u0131k. 2022. Learning Preferences for Interactive Autonomy. Ph.\u00a0D. Dissertation. Stanford University."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3575870.3587120"},{"key":"e_1_3_2_1_6_1","volume-title":"Conference on Learning Theory. PMLR, 338\u2013363","author":"Chen Yuxin","year":"2015","unstructured":"Yuxin Chen, S\u00a0Hamed Hassani, Amin Karbasi, and Andreas Krause. 2015. Sequential information maximization: When is greedy near-optimal?. In Conference on Learning Theory. PMLR, 338\u2013363."},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. of The 4th Annual Learning for Dynamics and Control Conf., Vol.\u00a0168","author":"Cosner Ryan","year":"2022","unstructured":"Ryan Cosner, Maegan Tucker, Andrew Taylor, Kejun Li, Tamas Molnar, Wyatt Ubelacker, Anil Alan, Gabor Orosz, Yisong Yue, and Aaron Ames. 2022. Safety-Aware Preference-Based Learning for Safety-Critical Control. In Proc. of The 4th Annual Learning for Dynamics and Control Conf., Vol.\u00a0168. PMLR, 1020\u20131033."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/2540128.2540252"},{"volume-title":"Formal Modeling and Analysis of Timed Systems","author":"Donz\u00e9 Alexandre","key":"e_1_3_2_1_9_1","unstructured":"Alexandre Donz\u00e9 and Oded Maler. 2010. Robust Satisfaction of Temporal Logic over Real-Valued Signals. In Formal Modeling and Analysis of Timed Systems. Springer Berlin Heidelberg, 92\u2013106."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 1st Annual Conference on Robot Learning. 1\u201316","author":"Dosovitskiy Alexey","year":"2017","unstructured":"Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez, and Vladlen Koltun. 2017. CARLA: An Open Urban Driving Simulator. In Proceedings of the 1st Annual Conference on Robot Learning. 1\u201316."},{"volume-title":"Advances in Neural Information Processing Systems, Vol.\u00a020. Curran Associates","author":"Eric Brochu","key":"e_1_3_2_1_11_1","unstructured":"Brochu Eric, Nando Freitas, and Abhijeet Ghosh. 2007. Active Preference Learning with Discrete Choice Data. In Advances in Neural Information Processing Systems, Vol.\u00a020. Curran Associates, Inc."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3197506"},{"volume-title":"Preference learning","author":"F\u00fcrnkranz Johannes","key":"e_1_3_2_1_14_1","unstructured":"Johannes F\u00fcrnkranz and Eyke H\u00fcllermeier. 2011. Preference learning. Springer Berlin Heidelberg. 1\u2013466 pages."},{"key":"e_1_3_2_1_15_1","volume-title":"Near-optimal bayesian active learning with noisy observations. Advances in Neural Information Processing Systems 23","author":"Golovin Daniel","year":"2010","unstructured":"Daniel Golovin, Andreas Krause, and Debajyoti Ray. 2010. Near-optimal bayesian active learning with noisy observations. Advances in Neural Information Processing Systems 23 (2010)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2017.8317803"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS51168.2021.9635960"},{"key":"e_1_3_2_1_18_1","volume-title":"Active Comparison Based Learning Incorporating User Uncertainty and Noise. In RSS Workshop on Model Learning for Human-Robot Communication.","author":"Holladay Rachel","year":"2016","unstructured":"Rachel Holladay, Shervin Javdani, Anca Dragan, and Siddhartha Srinivasa. 2016. Active Comparison Based Learning Incorporating User Uncertainty and Noise. In RSS Workshop on Model Learning for Human-Robot Communication."},{"volume-title":"Formal Modeling and Analysis of Timed Systems","author":"Karagulle Ruya","key":"e_1_3_2_1_19_1","unstructured":"Ruya Karagulle, Nikos Ar\u00e9chiga, Jonathan DeCastro, and Necmiye Ozay. 2022. Classification of Driving Behaviors Using STL Formulas: A Comparative Study. In Formal Modeling and Analysis of Timed Systems. Springer Intl. Publishing, 153\u2013162."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2024.3375626"},{"key":"e_1_3_2_1_21_1","volume-title":"Encoding Human Driving Styles in Motion Planning for Autonomous Vehicles. In 2021 IEEE International Conference on Robotics and Automation (ICRA). 1050\u20131056","author":"Karlsson Jesper","year":"2021","unstructured":"Jesper Karlsson, Sanne van Waveren, Christian Pek, Ilaria Torre, Iolanda Leite, and Jana Tumova. 2021. Encoding Human Driving Styles in Motion Planning for Autonomous Vehicles. In 2021 IEEE International Conference on Robotics and Automation (ICRA). 1050\u20131056."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3062807"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS55552.2023.10341993"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2853182"},{"volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"Maler Oded","key":"e_1_3_2_1_25_1","unstructured":"Oded Maler and Dejan Nickovic. 2004. Monitoring Temporal Properties of Continuous Signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Yassine Lakhnech and Sergio Yovine (Eds.). Springer Berlin Heidelberg, 152\u2013166."},{"key":"e_1_3_2_1_26_1","first-page":"2640","volume-title":"Proceedings of the 34th International Conference on Machine Learning. PMLR, 2344\u20132353","author":"Maystre Lucas","year":"2017","unstructured":"Lucas Maystre and Matthias Grossglauser. 2017. Just Sort It! A Simple and Effective Approach to Active Preference Learning. In Proceedings of the 34th International Conference on Machine Learning. PMLR, 2344\u20132353. ISSN: 2640-3498."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3047362"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/Allerton.2012.6483415"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Daniel Neider and Ivan Gavran. 2018. Learning Linear Temporal Properties. In 2018 Formal Methods in Computer Aided Design (FMCAD). 1\u201310.","DOI":"10.23919\/FMCAD.2018.8603016"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2015.2501351"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Dorsa Sadigh Anca Dragan Shankar Sastry and Sanjit Seshia. 2017. Active Preference-Based Learning of Reward Functions. In Robotics: Science and Systems XIII. Robotics: Science and Systems Foundation.","DOI":"10.15607\/RSS.2017.XIII.053"},{"volume-title":"Active Learning","author":"Settles Burr","key":"e_1_3_2_1_32_1","unstructured":"Burr Settles. 2012. Active Learning. Springer International Publishing."},{"volume-title":"Proof","author":"Venkatesh G.","key":"e_1_3_2_1_33_1","unstructured":"G. Venkatesh. 2011. Temporal Logic with Preferences and Reasoning About Games. In Proof, Computation and Agency: Logic at the Crossroads, Johan van Benthem, Amitabha Gupta, and Rohit Parikh (Eds.). Springer Netherlands, 241\u2013258."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9341530"},{"key":"e_1_3_2_1_35_1","volume-title":"STONE: Signal Temporal Logic Neural Network for Time Series Classification. In 2021 Intl. Conf. on Data Mining Workshops (ICDMW). 778\u2013787","author":"Yan Ruixuan","year":"2021","unstructured":"Ruixuan Yan, Agung Julius, Maria Chang, Achille Fokoue, Tengfei Ma, and Rosario Uceda-Sosa. 2021. STONE: Signal Temporal Logic Neural Network for Time Series Classification. In 2021 Intl. Conf. on Data Mining Workshops (ICDMW). 778\u2013787."}],"event":{"name":"HSCC '24: Computation and Control","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Hong Kong SAR China","acronym":"HSCC '24"},"container-title":["Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3641513.3650129","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3641513.3650129","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T00:12:38Z","timestamp":1755907958000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3641513.3650129"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,14]]},"references-count":35,"alternative-id":["10.1145\/3641513.3650129","10.1145\/3641513"],"URL":"https:\/\/doi.org\/10.1145\/3641513.3650129","relation":{},"subject":[],"published":{"date-parts":[[2024,5,14]]},"assertion":[{"value":"2024-05-14","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}