Ebru Aydın Göl

Ebru Aydın Göl

Middle East Technical University - Ankara / Türkiye
Engineering & Technology / Computer Science
AD Scientific Index ID: 182539
Orta Dogu Teknik Üniversitesi, ODTÜ, METU
person_outline Ebru Aydın Göl's MOST POPULAR ARTICLES
1-) Formal methods for discrete-time dynamical systemsC Belta, B Yordanov, EA GolSpringer International Publishing, 20173342017
2-) Temporal logic inference for classification and prediction from dataZ Kong, A Jones, A Medina Ayala, E Aydin Gol, C BeltaProceedings of the 17th international conference on Hybrid systems …, 20141202014
3-) Traffic network control from temporal logic specificationsS Coogan, EA Gol, M Arcak, C BeltaIEEE Transactions on Control of Network Systems 3 (2), 162-172, 2015742015
4-) Language-guided controller synthesis for linear systemsEA Gol, M Lazar, C BeltaIEEE Transactions on Automatic Control 59 (5), 1163-1176, 2013512013
5-) A formal methods approach to pattern synthesis in reaction diffusion systemsEA Gol, E Bartocci, C Belta53rd IEEE Conference on Decision and Control, 108-113, 2014502014