Projects

Ongoing projects:

Decision Support Methods for Restoration in Earthquake-Damaged Medium Voltage Electrical Distribution Networks (funded by Tubitak, No:118E183)

Automating Timed Automata Design (funded by European Commission, MSCA-IF No: 798482)

Monitoring with STL (funded by METU No:BAP-08-11-2017-014, TUBITAK-3501 No:117E242)

Past projects:

Formal Control of Traffic Systems (funded by TUBITAK-2232 No:116C061)