Georgios Fainekos
Georgios Fainekos
Associate Professor, Arizona State University
Verified email at asu.edu - Homepage
Title
Cited by
Cited by
Year
Temporal-logic-based reactive mission and motion planning
H Kress-Gazit, GE Fainekos, GJ Pappas
IEEE transactions on robotics 25 (6), 1370-1381, 2009
7002009
Robustness of temporal logic specifications for continuous-time signals
GE Fainekos, GJ Pappas
Theoretical Computer Science 410 (42), 4262-4291, 2009
4162009
Temporal logic motion planning for dynamic robots
GE Fainekos, A Girard, H Kress-Gazit, GJ Pappas
Automatica 45 (2), 343-352, 2009
4122009
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
3902011
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
2542007
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
2412005
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
2022005
Translating structured english to robot controllers
H Kress-Gazit, GE Fainekos, GJ Pappas
Advanced Robotics 22 (12), 1343-1359, 2008
1622008
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
1612013
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
1602018
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
1552007
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
1282010
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
1242004
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
1122012
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
1112018
Robustness of temporal logic specifications
GE Fainekos, GJ Pappas
Formal Approaches to Software Testing and Runtime Verification, 178-192, 2006
1062006
Verification of automotive control applications using s-taliro
GE Fainekos, S Sankaranarayanan, K Ueda, H Yazarel
2012 American Control Conference (ACC), 3567-3572, 2012
922012
On-line monitoring for temporal logic robustness
A Dokhanchi, B Hoxha, G Fainekos
International Conference on Runtime Verification, 231-246, 2014
882014
Benchmarks for Temporal Logic Requirements for Automotive Systems.
B Hoxha, H Abbas, GE Fainekos
ARCH@ CPSWeek 34, 25-30, 2014
872014
Revising temporal logic specifications for motion planning
GE Fainekos
2011 IEEE International Conference on Robotics and Automation, 40-45, 2011
712011
The system can't perform the operation now. Try again later.
Articles 1–20