Publications

4C: Custom-and-Correct-by-Construction Controller Synthesis using Multi-modal Human Feedback

IFAC CPHS, 2024

This work addresses the challenge of generating custom and naturalistic autonomous vehicle behaviors to meet individual user expectations while ensuring safety

Recommended citation: R. Karagulle, M. A. V. Calderon, N. Ozay. “4C: Custom-and-Correct-by-Construction Controller Synthesis using Multi-modal Human Feedback”. (2024) (accepted - 5th IFAC Workshop on Cyber-Physical & Human Systems)

Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles

ACM HSCC, 2024

This work introduces an active preference learning method that ensures adherence to traffic rules for autonomous vehicles by decreasing the number of question asked to the user.

Recommended citation: Ruya Karagulle, Necmiye Ozay, Nikos Arechiga, Jonathan Decastro, and Andrew Best. 2024. Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles. In Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 24). Association for Computing Machinery, New York, NY, USA, Article 5, 1–11. https://doi.org/10.1145/3641513.3650129

A Safe Preference Learning Approach for Personalization With Applications to Autonomous Vehicles

IEEE RA-L, 2024

This work introduces a preference learning method that ensures adherence to traffic rules for autonomous vehicles.

Recommended citation: R. Karagulle, N. Aréchiga, A. Best, J. DeCastro and N. Ozay, "A Safe Preference Learning Approach for Personalization With Applications to Autonomous Vehicles," in IEEE Robotics and Automation Letters, vol. 9, no. 5, pp. 4226-4233, May 2024, doi: 10.1109/LRA.2024.3375626.

Classification of Driving Behaviors Using STL Formulas: A Comparative Study

FORMATS, 2022

This paper conducts a comparative study of classification of longitudinal driving behavior using Signal Temporal Logic (STL) formulas.

Recommended citation: Karagulle, R., Aréchiga, N., DeCastro, J., Ozay, N. (2022). Classification of Driving Behaviors Using STL Formulas: A Comparative Study. In: Bogomolov, S., Parker, D. (eds) Formal Modeling and Analysis of Timed Systems. FORMATS 2022. Lecture Notes in Computer Science, vol 13465. Springer, Cham. https://doi.org/10.1007/978-3-031-15839-1_9.