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
6842009
Temporal logic motion planning for dynamic robots
GE Fainekos, A Girard, H Kress-Gazit, GJ Pappas
Automatica 45 (2), 343-352, 2009
4092009
Robustness of temporal logic specifications for continuous-time signals
GE Fainekos, GJ Pappas
Theoretical Computer Science 410 (42), 4262-4291, 2009
3972009
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
3752011
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
2512007
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
2372005
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
1972005
Translating structured english to robot controllers
H Kress-Gazit, GE Fainekos, GJ Pappas
Advanced Robotics 22 (12), 1343-1359, 2008
1602008
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
1532013
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
1532007
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
1382018
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
1262004
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
1222010
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
1032012
Robustness of temporal logic specifications
GE Fainekos, GJ Pappas
Formal approaches to software testing and runtime verification, 178-192, 2006
1022006
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
982018
Verification of automotive control applications using s-taliro
GE Fainekos, S Sankaranarayanan, K Ueda, H Yazarel
2012 American Control Conference (ACC), 3567-3572, 2012
892012
On-line monitoring for temporal logic robustness
A Dokhanchi, B Hoxha, G Fainekos
International Conference on Runtime Verification, 231-246, 2014
872014
Benchmarks for Temporal Logic Requirements for Automotive Systems.
B Hoxha, H Abbas, GE Fainekos
ARCH@ CPSWeek 34, 25-30, 2014
792014
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