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 !

Ebru attended Shonan meeting on “Causal Reasoning in Systems“, and gave a talk on cause mining with STL. 6/2019

Sertac successfully presented his master thesis. Congrats MSc Sertac!.  5/2019

Ebru gave a talk on “Formal Control of Traffic Systems” at KAUST Research Conference on Sustainable Urban-Environmental Future (suef). 4/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)