| Formal methods for discrete-time dynamical systems C Belta, B Yordanov, EA Gol Springer 89, 01, 2017 | 481 | 2017 |
| Temporal logic inference for classification and prediction from data Z Kong, A Jones, A Medina Ayala, E Aydin Gol, C Belta Proceedings of the 17th international conference on Hybrid systems …, 2014 | 146 | 2014 |
| Traffic network control from temporal logic specifications S Coogan, EA Gol, M Arcak, C Belta IEEE Transactions on Control of Network Systems 3 (2), 162-172, 2015 | 84 | 2015 |
| Language-guided controller synthesis for linear systems EA Gol, M Lazar, C Belta IEEE Transactions on Automatic Control 59 (5), 1163-1176, 2013 | 51 | 2013 |
| A formal methods approach to pattern synthesis in reaction diffusion systems EA Gol, E Bartocci, C Belta 53rd IEEE Conference on Decision and Control, 108-113, 2014 | 50 | 2014 |
| A formal methods approach to pattern recognition and synthesis in reaction diffusion networks E Bartocci, EA Gol, I Haghighi, C Belta IEEE Transactions on Control of Network Systems 5 (1), 308-320, 2016 | 48 | 2016 |
| Language-guided controller synthesis for discrete-time linear systems E Aydin Gol, M Lazar, C Belta Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012 | 45 | 2012 |
| Finite bisimulations for switched linear systems EA Gol, X Ding, M Lazar, C Belta Decision and Control (CDC), 2012 IEEE 51st Annual Conference on, 7632-7637, 2012 | 39 | 2012 |
| A plume tracking algorithm based on crosswind formations T Lochmatter, E Aydın Göl, I Navarro, A Martinoli Distributed Autonomous Robotic Systems: The 10th International Symposium, 91-102, 2013 | 32 | 2013 |
| Temporal logic model predictive control EA Gol, M Lazar, C Belta Automatica 56, 78-85, 2015 | 28 | 2015 |
| Time-constrained temporal logic control of multi-affine systems EA Gol, C Belta Nonlinear Analysis: Hybrid Systems 10, 21-33, 2013 | 24 | 2013 |
| Controlling a network of signalized intersections from temporal logical specifications S Coogan, EA Gol, M Arcak, C Belta 2015 American Control Conference (ACC), 3919-3924, 2015 | 22 | 2015 |
| Temporal logic model predictive control for discrete-time systems E Aydin Gol, M Lazar Proceedings of the 16th international conference on Hybrid systems …, 2013 | 17 | 2013 |
| Synthesis of monitoring rules via data mining A Ketenci, EA Gol 2019 American Control Conference (ACC), 1684-1689, 2019 | 14 | 2019 |
| Efficient online monitoring and formula synthesis with past stl EA Gol 2018 5th International Conference on Control, Decision and Information …, 2018 | 12 | 2018 |
| Traffic prediction on large scale traffic networks using ARIMA and K-means F Acun, EA Gol 2021 29th Signal Processing and Communications Applications Conference (SIU …, 2021 | 11 | 2021 |
| Synthesis of monitoring rules with STL SK Aydin, EA Gol Journal of Circuits, Systems and Computers 29 (11), 2050177, 2020 | 11 | 2020 |
| An automated system repair framework with signal temporal logic M Ergurtuna, B Yalcinkaya, E Aydin Gol Acta Informatica 59 (2), 183-209, 2022 | 10 | 2022 |
| A novel MDP based decision support framework to restore earthquake damaged distribution systems EA Gol, BG Erkal, M Göl 2019 IEEE PES Innovative Smart Grid Technologies Europe (ISGT-Europe), 1-5, 2019 | 9 | 2019 |
| An efficient formula synthesis method with past signal temporal logic M Ergurtuna, EA Gol IFAC-PapersOnLine 52 (11), 43-48, 2019 | 9 | 2019 |
