Fatih successfully presented his master thesis. Congrats MSc Fatih!. 7/2022
Our new project titled “A data-driven approach using temporal logics for repairing robot controllers” has received funding from TUBITAK – 1001 programme.
Ebru gave a seminar titled “Cause Mining and System Repair with STL” at the monthly meeting of the IEEE Technical Committee on Verification of Autonomous Systems. 2/22
Ebru is at “People in Control”, IEEE Control Systems Magazine. 11/21
Mert successfully presented his master thesis. Congrats MSc Mert!. 6/2020
Our new project titled “Modeling of Electric Vehicle Battery Use for Micro Grid Applications and Estimating the Energy Requirement” with METU-EEE and METU-CE has received funding from TUBITAK – 1001 programme.
Mert received IFAC Young Author Award at ICONS. Congratulations Mert !
Sertac successfully presented his master thesis. Congrats MSc Sertac!. 5/2019
Ebru became an associate editor of NAHS, consider sending your best papers. 2019
Ahmet Ketenci passed the Ph.D. qualifying exam. Congrats Ahmet! 11/2018
Tubitak 1001: Disaster management project in collaboration with Metu-EE and Hacettepe CE. 10/2018
received MSCA-IF funding for the project titled “Automating Timed Automata Design” (6/2018)
received IEEE TCNS outstanding paper award (12/2017)
received Seal of Excellence award from European Commission (4/2017)
our book on formal methods for dynamical systems is available (2/2017)