Georgios Fainekos
Georgios Fainekos
Associate Professor, Arizona State University
Bestätigte E-Mail-Adresse bei asu.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Temporal-logic-based reactive mission and motion planning
H Kress-Gazit, GE Fainekos, GJ Pappas
IEEE transactions on robotics 25 (6), 1370-1381, 2009
6902009
Temporal logic motion planning for dynamic robots
GE Fainekos, A Girard, H Kress-Gazit, GJ Pappas
Automatica 45 (2), 343-352, 2009
4102009
Robustness of temporal logic specifications for continuous-time signals
GE Fainekos, GJ Pappas
Theoretical Computer Science 410 (42), 4262-4291, 2009
4072009
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
3802011
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
2522007
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
2392005
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
1982005
Translating structured english to robot controllers
H Kress-Gazit, GE Fainekos, GJ Pappas
Advanced Robotics 22 (12), 1343-1359, 2008
1612008
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
1552013
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
1542007
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
1472018
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
1242010
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
1042012
Robustness of temporal logic specifications
GE Fainekos, GJ Pappas
Formal approaches to software testing and runtime verification, 178-192, 2006
1042006
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
1032018
Verification of automotive control applications using s-taliro
GE Fainekos, S Sankaranarayanan, K Ueda, H Yazarel
2012 American Control Conference (ACC), 3567-3572, 2012
902012
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
802014
Revising temporal logic specifications for motion planning
GE Fainekos
2011 IEEE International Conference on Robotics and Automation, 40-45, 2011
712011
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20