Ruya Karagulle

Welcome!

I am Ruya Karagulle, Ph.D. student in Control field at Electrical and Computer Engineering at University of Michigan under the advising of Necmiye Ozay. My research is mainly focused on formal methods and machine learning, where I am trying to combine the advantages of machine learning with formal methods to infer better specifications for systems.

News

March 2024Our work on Incorporating Logic in Online Preference Learning for Safe Personalization of Autonomous Vehicles is accepted to HSCC 2024 with a Repeatability Badge! See you in Hong Kong on May 2024!
February 2024Our work on A Preference Learning Approach to Develop Safe and Personalizable Autonomous Vehicles is accepted to Robotics and Automation Letters (RA-L)! We will be presenting it at IROS 2024! See you there!
September 2023We submitted our work on A Preference Learning Approach to Develop Safe and Personalizable Autonomous Vehicles to Robotics and Automation Letters (RA-L).
August 2023I completed my Summer Research Internship at Toyota Research Institute, Los Altos, California. It was an invaluable experience!
May 2023I presented our poster on Safety Guaranteed Preference Learning Approach for Autonomous Vehicles at HSCC 2022 in San Antonio, Texas.
September 2022I presented our work on Classification of Driving Behaviors using STL Formulas at FORMATS 2022, online.
July 2022I attended Formal Methods in Control Design workshop organized by European Embedded Control Institute (EECI).