Georgios Fainekos

Georgios Fainekos

Arizona State University - Tempe / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 815678
person_outline Georgios Fainekos's MOST POPULAR ARTICLES
1-) Temporal-logic-based reactive mission and motion planningH Kress-Gazit, GE Fainekos, GJ PappasIEEE transactions on robotics 25 (6), 1370-1381, 20098032009
2-) Robustness of temporal logic specifications for continuous-time signalsGE Fainekos, GJ PappasTheoretical Computer Science 410 (42), 4262-4291, 20095182009
3-) S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid SystemsY Annpureddy, C Liu, G Fainekos, S SankaranarayananTools and Algorithms for the Construction and Analysis of Systems: 17th …, 20114852011
4-) Temporal logic motion planning for dynamic robotsGE Fainekos, A Girard, H Kress-Gazit, GJ PappasAutomatica 45 (2), 343-352, 20095402009
5-) Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applicationsE Bartocci, J Deshmukh, A Donzé, G Fainekos, O Maler, D Ničković, ...Lectures on Runtime Verification: Introductory and Advanced Topics, 135-175, 20183712018