| Temporal-logic-based reactive mission and motion planning H Kress-Gazit, GE Fainekos, GJ Pappas IEEE transactions on robotics 25 (6), 1370-1381, 2009 | 760 | 2009 |
| Robustness of temporal logic specifications for continuous-time signals GE Fainekos, GJ Pappas Theoretical Computer Science 410 (42), 4262-4291, 2009 | 479 | 2009 |
| Temporal logic motion planning for dynamic robots GE Fainekos, A Girard, H Kress-Gazit, GJ Pappas Automatica 45 (2), 343-352, 2009 | 448 | 2009 |
| S-taliro: A tool for temporal logic falsification for hybrid systems Y Annpureddy, C Liu, G Fainekos, S Sankaranarayanan International Conference on Tools and Algorithms for the Construction and …, 2011 | 444 | 2011 |
| Where's waldo? sensor-based temporal logic motion planning H Kress-Gazit, GE Fainekos, GJ Pappas Proceedings 2007 IEEE International Conference on Robotics and Automation …, 2007 | 263 | 2007 |
| Temporal logic motion planning for mobile robots GE Fainekos, H Kress-Gazit, GJ Pappas Proceedings of the 2005 IEEE International Conference on Robotics and …, 2005 | 263 | 2005 |
| Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications E Bartocci, J Deshmukh, A Donzé, G Fainekos, O Maler, D Ničković, ... Lectures on Runtime Verification, 135-175, 2018 | 213 | 2018 |
| Hybrid controllers for path planning: A temporal logic approach GE Fainekos, H Kress-Gazit, GJ Pappas Proceedings of the 44th IEEE Conference on Decision and Control, 4885-4890, 2005 | 209 | 2005 |
| Probabilistic temporal logic falsification of cyber-physical systems H Abbas, G Fainekos, S Sankaranarayanan, F Ivančić, A Gupta ACM Transactions on Embedded Computing Systems (TECS) 12 (2s), 1-30, 2013 | 177 | 2013 |
| Translating structured english to robot controllers H Kress-Gazit, GE Fainekos, GJ Pappas Advanced Robotics 22 (12), 1343-1359, 2008 | 172 | 2008 |
| Robust test generation and coverage for hybrid systems AA Julius, GE Fainekos, M Anand, I Lee, GJ Pappas International Workshop on Hybrid Systems: Computation and Control, 329-342, 2007 | 161 | 2007 |
| Simulation-based adversarial test generation for autonomous vehicles with machine learning components CE Tuncali, G Fainekos, H Ito, J Kapinski 2018 IEEE Intelligent Vehicles Symposium (IV), 1555-1562, 2018 | 151 | 2018 |
| Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems T Nghiem, S Sankaranarayanan, G Fainekos, F Ivancić, A Gupta, ... Proceedings of the 13th ACM international conference on Hybrid systems …, 2010 | 136 | 2010 |
| Experimental cooperative control of fixed-wing unmanned aerial vehicles S Bayraktar, GE Fainekos, GJ Pappas 2004 43rd IEEE conference on decision and control (CDC)(IEEE Cat. No …, 2004 | 128 | 2004 |
| Falsification of temporal properties of hybrid systems using the cross-entropy method S Sankaranarayanan, G Fainekos Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012 | 125 | 2012 |
| Robustness of temporal logic specifications GE Fainekos, GJ Pappas Formal approaches to software testing and runtime verification, 178-192, 2006 | 117 | 2006 |
| On-line monitoring for temporal logic robustness A Dokhanchi, B Hoxha, G Fainekos International Conference on Runtime Verification, 231-246, 2014 | 100 | 2014 |
| Benchmarks for Temporal Logic Requirements for Automotive Systems. B Hoxha, H Abbas, GE Fainekos ARCH@ CPSWeek 34, 25-30, 2014 | 99 | 2014 |
| Verification of automotive control applications using s-taliro GE Fainekos, S Sankaranarayanan, K Ueda, H Yazarel 2012 American Control Conference (ACC), 3567-3572, 2012 | 99 | 2012 |
| Mining parametric temporal logic properties in model-based design for cyber-physical systems B Hoxha, A Dokhanchi, G Fainekos International Journal on Software Tools for Technology Transfer 20 (1), 79-93, 2018 | 78 | 2018 |
George J. PappasProfessor or Electrical and Systems Engineering, University of PennsylvaniaVerified email at seas.upenn.edu
