Georgios Fainekos
Georgios Fainekos
Associate Professor, Arizona State University
Dirección de correo verificada de asu.edu - Página principal
Título
Citado por
Citado por
Año
Temporal-logic-based reactive mission and motion planning
H Kress-Gazit, GE Fainekos, GJ Pappas
IEEE transactions on robotics 25 (6), 1370-1381, 2009
6122009
Temporal logic motion planning for dynamic robots
GE Fainekos, A Girard, H Kress-Gazit, GJ Pappas
Automatica 45 (2), 343-352, 2009
3822009
Robustness of temporal logic specifications for continuous-time signals
GE Fainekos, GJ Pappas
Theoretical Computer Science 410 (42), 4262-4291, 2009
3422009
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
3242011
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
2432007
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
2212005
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
1862005
Translating structured english to robot controllers
H Kress-Gazit, GE Fainekos, GJ Pappas
Advanced Robotics 22 (12), 1343-1359, 2008
1462008
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
1462007
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
1292013
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
1222004
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
1112010
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
1032018
Robustness of temporal logic specifications
GE Fainekos, GJ Pappas
Formal Approaches to Software Testing and Runtime Verification, 178-192, 2006
982006
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
872012
Verification of automotive control applications using s-taliro
GE Fainekos, S Sankaranarayanan, K Ueda, H Yazarel
2012 American Control Conference (ACC), 3567-3572, 2012
862012
On-line monitoring for temporal logic robustness
A Dokhanchi, B Hoxha, G Fainekos
International Conference on Runtime Verification, 231-246, 2014
702014
Temporal logic verification using simulation
GE Fainekos, A Girard, GJ Pappas
International Conference on Formal Modeling and Analysis of Timed Systems …, 2006
672006
Revising temporal logic specifications for motion planning
GE Fainekos
2011 IEEE International Conference on Robotics and Automation, 40-45, 2011
652011
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
642018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20