A Plume Tracking Algorithm Based on Crosswind Formations. - Thomas Lochmatter; Ebru Aydin Göl; Iñaki Navarro; Alcherio Martinoli (DARS, 2010)

Locomotion Gait Optimization For Modular Robots; Coevolving Morphology and Control. - Soha Pouya; Ebru Aydin Gol; Rico Möckel; Auke Jan Ijspeert (FET, 2011)

Time-Constrained Temporal Logic Control of Multi-Affine Systems. - Ebru Aydin Gol; Calin Belta (ADHS, 2012)

Experimentally driven verification of synthetic biological circuits. - Boyan Yordanov; Evan Appleton; Rishi Ganguly; Ebru Aydin Gol; Swati Banerjee Carr; Swapnil Bhatia; Traci Haddock; Calin Belta; Douglas Densmore (DATE, 2012)

Language-guided controller synthesis for discrete-time linear systems. - Ebru Aydin Gol; Mircea Lazar; Calin Belta (HSCC, 2012)

Data-driven verification of synthetic gene networks. - Ebru Aydin Gol; Douglas Densmore; Calin Belta (CDC, 2013)

Temporal logic model predictive control for discrete-time systems. - Ebru Aydin Gol; Mircea Lazar (HSCC, 2013)

An additive cost approach to optimal Temporal Logic control. - Ebru Aydin Gol; Calin Belta (ACC, 2014)

A formal methods approach to pattern synthesis in reaction diffusion systems. - Ebru Aydin Gol; Ezio Bartocci; Calin Belta (CDC, 2014)

Temporal logic inference for classification and prediction from data. - Zhaodan Kong; Austin Jones; Ana Medina Ayala; Ebru Aydin Gol; Calin Belta (HSCC, 2014)

Finite Bisimulations for Switched Linear Systems. - Ebru Aydin Gol; Xu Chu Ding; Mircea Lazar; Calin Belta (IEEE Trans. Autom. Control., 2014)

Language-Guided Controller Synthesis for Linear Systems. - Ebru Aydin Gol; Mircea Lazar; Calin Belta (IEEE Trans. Autom. Control., 2014)

Controlling a network of signalized intersections from temporal logical specifications. - Samuel Coogan 001; Ebru Aydin Gol; Murat Arcak; Calin Belta (ACC, 2015)

Temporal logic model predictive control. - Ebru Aydin Gol; Mircea Lazar; Calin Belta (Autom., 2015)

Traffic Network Control From Temporal Logic Specifications. - Samuel Coogan 001; Ebru Aydin Gol; Murat Arcak; Calin Belta (IEEE Trans. Control. Netw. Syst., 2016)

Synthesis of formal control strategies for traffic networks via partitioning. - Kemal Cagri Bardakci; Ebru Aydin Gol (SIU, 2017)

Formal Control of Traffic Systems via Network Decomposition. - Kemal Cagri Bardakci; Ebru Aydin Gol (ACC, 2018)

Efficient Online Monitoring and Formula Synthesis with Past STL. - Ebru Aydin Gol (CoDIT, 2018)

On the use of genetic algorithms for synthesis of signal temporal logic formulas. - Sertaç Kagan Aydin; Ebru Aydin Gol (SIU, 2018)

A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks. - Ezio Bartocci; Ebru Aydin Gol; Iman Haghighi; Calin Belta (IEEE Trans. Control. Netw. Syst., 2018)

Synthesis of Monitoring Rules via Data Mining. - Ahmet Ketenci; Ebru Aydin Gol (ACC, 2019)

Cause Mining and Controller Synthesis with STL. - Irmak Saglam; Ebru Aydin Gol (CDC, 2019)

Clock reduction in timed automata while preserving design parameters. - Beyazit Yalcinkaya; Ebru Aydin Gol (FormaliSE@ICSE, 2019)

A Novel MDP Based Decision Support Framework to Restore Earthquake Damaged Distribution Systems. - Ebru Aydin Gol; Burcu Güldür Erkal; Murat Göl (ISGT Europe, 2019)

Optimizing Parameters of Signal Temporal Logic Formulas with Local Search. - Sertaç Kagan Aydin; Ebru Aydin Göl (SIU, 2019)

An Efficient Formula Synthesis Method with Past Signal Temporal Logic. - Mert Ergurtuna; Ebru Aydin Gol (CoRR, 2019)

ATAC: A Tool for Automating Timed Automata Construction. - Beyazit Yalcinkaya; Ebru Aydin Gol (CoRR, 2019)

MDP based Decision Support for Earthquake Damaged Distribution System Restoration. - Onur Yigit Arpali; Ugur Can Yilmaz; Ebru Aydin Göl; Burcu Güldür Erkal; Murat Gol (CoRR, 2019)

Classification of Time-Series Data using ptSTL. - Mert Ergürtuna; Ebru Aydin Gol (SIU, 2020)

Learning Parameters of ptSTL Formulas with Backpropagation. - Ahmet Ketenci; Ebru Aydin Gol (SIU, 2020)

Synthesis of Controllable ptSTL Formulas. - Irmak Saglam; Ebru Aydin Gol (SIU, 2020)

Kontrol Edilebilir ptSTL Formulu Sentezi - Synthesis of Controllable ptSTL Formulas. - Irmak Saglam; Ebru Aydin Gol (CoRR, 2020)

Synthesis of Monitoring Rules with STL. - Sertaç Kagan Aydin; Ebru Aydin Gol (J. Circuits Syst. Comput., 2020)

Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration. - Ilker Isik; Onur Yigit Arpali; Ebru Aydin Gol (ADHS, 2021)

Control Synthesis for Parametric Timed Automata under Unavoidability Specifications. - Ebru Aydin Gol (ECC, 2021)

Traffic Prediction on Large Scale Traffic Networks Using ARIMA and K-Means. - Fatih Acun; Ebru Aydin Gol (SIU, 2021)

Timed Automata Relaxation for Reachability. - Jaroslav Bendík; Ahmet Sencan; Ebru Aydin Gol; Ivana Cerná (TACAS (1), 2021)

Control synthesis for parametric timed automata under reachability. - Ebru Aydin Göl (Turkish J. Electr. Eng. Comput. Sci., 2021)

Traffic Prediction with Peak-Aware Temporal Graph Convolutional Networks. - Fatih Acun; Sinan Kalkan; Ebru Aydin Gol (SIU, 2022)

An automated system repair framework with signal temporal logic. - Mert Ergurtuna; Beyazit Yalcinkaya; Ebru Aydin Gol (Acta Informatica, 2022)

Timed Automata Robustness Analysis via Model Checking. - Jaroslav Bendík; Ahmet Sencan; Ebru Aydin Gol; Ivana Cerná (Log. Methods Comput. Sci., 2022)

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba. - Ilker Isik; Ebru Aydin Gol; Ramazan Gokberk Cinbis (CoRR, 2024)

Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence. - Ilker Isik; Ramazan Gokberk Cinbis; Ebru Aydin Gol (CoRR, 2024)

Field teams coordination for earthquake-damaged distribution system energization. - Ilker Isik; Ebru Aydin Gol (Reliab. Eng. Syst. Saf., 2024)

Cycle encoding-based parameter synthesis for timed automata safety. - Burkay Sucu; Ebru Aydin Gol (Acta Informatica, 2024)