World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
38
Citations
8314
World Ranking
10057
National Ranking
4239

Overview

Georgios Fainekos is affiliated with Arizona State University in the United States. Their research centers primarily on computer science and engineering, with significant contributions spanning specialized subfields such as artificial intelligence, control and systems engineering, computational theory and mathematics, computer vision and pattern recognition, and software.

The main research topics addressed by Georgios Fainekos include:

  • Formal Methods in Verification
  • Robotic Path Planning Algorithms
  • Software Testing and Debugging Techniques
  • Advanced Control Systems Optimization
  • Fault Detection and Control Systems
  • Autonomous Vehicle Technology and Safety
  • Adversarial Robustness in Machine Learning

Their recent published papers illustrate a focus on falsification and control functions, with works appearing in various academic venues. Selected examples include:

  • "ARCH-COMP 2020 Category Report: Falsification", 2020, EPiC series in computing
  • "Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions", 2021, 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
  • "ARCH-COMP 2021 Category Report: Falsification with Validation of Results", 2021, EPiC series in computing
  • "Risk-Bounded Control Using Stochastic Barrier Functions", 2020, IEEE Control Systems Letters
  • "Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees", 2023, IEEE Transactions on Automation Science and Engineering

Frequent publication venues for Georgios Fainekos include:

  • arXiv (Cornell University)
  • EPiC series in computing
  • IEEE Control Systems Letters
  • ACM Transactions on Cyber-Physical Systems
  • Lecture notes in computer science

Georgios Fainekos has collaborated extensively with various scholars. Among their most frequent co-authors are:

  • Bardh Hoxha
  • Danil Prokhorov
  • Hideki Okamoto
  • Giulia Pedrielli
  • Keyvan Majd

Best Publications

  • Temporal-Logic-Based Reactive Mission and Motion Planning

    H. Kress-Gazit;G.E. Fainekos;G.J. Pappas

  • Robustness of temporal logic specifications for continuous-time signals

    Georgios E. Fainekos;George J. Pappas

  • S-taliro: a tool for temporal logic falsification for hybrid systems

    Yashwanth Annapureddy;Che Liu;Georgios Fainekos;Sriram Sankaranarayanan

  • Temporal logic motion planning for dynamic robots

    Georgios E. Fainekos;Antoine Girard;Hadas Kress-Gazit;George J. Pappas

  • Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

    Ezio Bartocci;Jyotirmoy V. Deshmukh;Alexandre Donzé;Georgios Fainekos

  • Temporal Logic Motion Planning for Mobile Robots

    G.E. Fainekos;H. Kress-Gazit;G.J. Pappas

  • Where's Waldo? Sensor-Based Temporal Logic Motion Planning

    H. Kress-Gazit;G.E. Fainekos;G.J. Pappas

  • Hybrid Controllers for Path Planning: A Temporal Logic Approach

    G.E. Fainekos;H. Kress-Gazit;G.J. Pappas

  • Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components

    Cumhur Erkan Tuncali;Georgios Fainekos;Hisahiro Ito;James Kapinski

  • Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

    Houssam Abbas;Georgios Fainekos;Sriram Sankaranarayanan;Franjo Ivančić

  • Translating Structured English to Robot Controllers

    Hadas Kress-Gazit;Georgios E. Fainekos;George J. Pappas

  • On-Line Monitoring for Temporal Logic Robustness

    Adel Dokhanchi;Bardh Hoxha;Georgios E. Fainekos

  • Robust test generation and coverage for hybrid systems

    A. Agung Julius;Georgios E. Fainekos;Madhukar Anand;Insup Lee

  • Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems

    Truong Nghiem;Sriram Sankaranarayanan;Georgios Fainekos;Franjo Ivancić

  • Falsification of temporal properties of hybrid systems using the cross-entropy method

    Sriram Sankaranarayanan;Georgios Fainekos

  • Robustness of temporal logic specifications

    Georgios E. Fainekos;George J. Pappas

  • Experimental cooperative control of fixed-wing unmanned aerial vehicles

    S. Bayraktar;G.E. Fainekos;G.J. Pappas

  • Verification of automotive control applications using S-TaLiRo

    Georgios E. Fainekos;Sriram Sankaranarayanan;Koichi Ueda;Hakan Yazarel

  • Benchmarks for Temporal Logic Requirements for Automotive Systems

    Bardh Hoxha;Houssam Abbas;Georgios E. Fainekos

  • Mining parametric temporal logic properties in model-based design for cyber-physical systems

    Bardh Hoxha;Adel Dokhanchi;Georgios Fainekos

  • Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components

    Cumhur Erkan Tuncali;Georgios Fainekos;Danil Prokhorov;Hisahiro Ito

Frequent Co-Authors

Sriram Sankaranarayanan
Sriram Sankaranarayanan University of Colorado Boulder
George J. Pappas
George J. Pappas University of Pennsylvania
Danil V. Prokhorov
Danil V. Prokhorov Toyota Motor Corporation (Japan)
Franjo Ivancic
Franjo Ivancic Google (United States)
Aarti Gupta
Aarti Gupta Princeton University
Antoine Girard
Antoine Girard University of Paris-Saclay
Alessandro Abate
Alessandro Abate University of Oxford
Rupak Majumdar
Rupak Majumdar Max Planck Institute for Software Systems
Rajesh Gupta
Rajesh Gupta University of California, San Diego
Umit Ozguner
Umit Ozguner The Ohio State University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

As technology drives innovation across multiple fields, many students explore related online degrees to broaden their skill sets and career options. Beyond Computer Science, online programs in areas like environmental and mechanical engineering offer both flexibility and affordable education.

Pursuing an accelerated CS degree allows students to fast-track their studies and quickly enter in-demand tech roles. For those interested in environmental topics, an environmental engineering online degree covers skills needed for sustainability, clean energy, and resource management careers.

Students looking for affordable advanced education in engineering can consider the cheapest online master’s mechanical engineering programs. These degrees open doors to fields like robotics, automotive design, and technical consulting.

Graduates in these disciplines can pursue a wide range of opportunities—explore the diverse jobs for environmental science majors to see how interdisciplinary skills can lead to meaningful, impactful careers.

Best Scientists Citing Georgios Fainekos

Trending Scientists