| Formal methods for discrete-time dynamical systems C Belta, B Yordanov, EA Gol Springer International Publishing, 2017 | 273 | 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 | 105 | 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 | 67 | 2015 |
| Language-guided controller synthesis for linear systems EA Gol, M Lazar, C Belta IEEE Transactions on Automatic Control 59 (5), 1163-1176, 2013 | 45 | 2013 |
| 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 | 43 | 2012 |
| 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 | 40 | 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 | 36 | 2016 |
| Finite bisimulations for switched linear systems EA Gol, X Ding, M Lazar, C Belta IEEE Transactions on Automatic Control 59 (12), 3122-3134, 2014 | 35 | 2014 |
| 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 | 35 | 2012 |
| A plume tracking algorithm based on crosswind formations T Lochmatter, EA Göl, I Navarro, A Martinoli Distributed Autonomous Robotic Systems, 91-102, 2013 | 26 | 2013 |
| Temporal logic model predictive control EA Gol, M Lazar, C Belta Automatica 56, 78-85, 2015 | 25 | 2015 |
| Time-constrained temporal logic control of multi-affine systems EA Gol, C Belta Nonlinear Analysis: Hybrid Systems 10, 21-33, 2013 | 23 | 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 | 18 | 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 | 16 | 2013 |
| Efficient online monitoring and formula synthesis with past stl EA Gol 2018 5th International Conference on Control, Decision and Information …, 2018 | 10 | 2018 |
| Synthesis of monitoring rules via data mining A Ketenci, EA Gol 2019 American Control Conference (ACC), 1684-1689, 2019 | 8 | 2019 |
| An additive cost approach to optimal temporal logic control EA Gol, C Belta 2014 American Control Conference, 1769-1774, 2014 | 7 | 2014 |
| Experimentally driven verification of synthetic biological circuits B Yordanov, E Appleton, R Ganguly, EA Gol, SB Carr, S Bhatia, ... Design, Automation & Test in Europe Conference & Exhibition (DATE), 2012 …, 2012 | 7 | 2012 |
| On the use of genetic algorithms for synthesis of signal temporal logic formulas SK Aydin, EA Gol 2018 26th Signal Processing and Communications Applications Conference (SIU …, 2018 | 6 | 2018 |
| Locomotion gait optimization for modular robots; coevolving morphology and control S Pouya, E Aydin, R Möckel, AJ Ijspeert Procedia Computer Science 7, 320-322, 2011 | 6 | 2011 |
