Georgios Fainekos

Assoc Professor

Associate Professor, Embedded Systems, Consortium for (CES)
Associate Professor, IAFSE-CIDSE: Computer Science and Engineering
Assoc Professor, Computing, Informatics and Decision Systems Engineering, School of (CIDSE)

2093 Citations
22 h-Index

If you made any changes in Pure, your changes will be visible here soon.

Personal profile

Education/Academic qualification

PHD, University of Pennsylvania

… → 2008

MS, University of Pennsylvania

… → 2004

Fingerprint Fingerprint is based on mining the text of the experts' scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Temporal logic Engineering & Materials Science

Specifications Engineering & Materials Science

Hybrid systems Engineering & Materials Science

Temporal Logic Mathematics

Motion planning Engineering & Materials Science

Robots Engineering & Materials Science

Specification Mathematics

Testing Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2003 2019

2093 Citations
22 h-Index
60 Conference contribution
18 Article
2 Patent
1 Chapter

Continuous simulation optimization with model mismatch using Gaussian process regression

Inanlouganji, A., Pedrielli, G., Fainekos, G. & Pokutta, S., Jan 31 2019, WSC 2018 - 2018 Winter Simulation Conference: Simulation for a Noble Cause. Institute of Electrical and Electronics Engineers Inc., p. 2131-2142 12 p. 8632427. (Proceedings - Winter Simulation Conference; vol. 2018-December).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Simulation Optimization

Continuous Optimization

Gaussian Process

Fidelity

Regression

Deep predictive models for collision risk assessment in autonomous driving

Strickland, M., Fainekos, G. & Ben Amor, H., Sep 10 2018, 2018 IEEE International Conference on Robotics and Automation, ICRA 2018. Institute of Electrical and Electronics Engineers Inc., p. 4685-4692 8 p. 8461160. (Proceedings - IEEE International Conference on Robotics and Automation).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Risk assessment

Accidents

Robotics

Decision making

Cameras

Experience report: Application of falsification methods on the UxAS system

Tuncali, C. E., Hoxha, B., Ding, G., Fainekos, G. & Sankaranarayanan, S., Jan 1 2018, NASA Formal Methods 10th International Symposium, 10th International Symposium, NFM 2018 Newport News, Proceedings. Springer Verlag, p. 452-459 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10811 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Simulators

Specifications

Planning

Simulator

Specification

Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time

Yaghoubi, S. & Fainekos, G., Jan 1 2018, In : IFAC-PapersOnLine. 51, 16, p. 103-108 6 p.

Research output: Contribution to journal › Article

Time switches

Temporal logic

Hybrid systems

1 Citation (Scopus)

Functional gradient descent optimization for automatic test case generation for vehicle controllers

Tuncali, C. E., Yaghoubi, S., Pavlic, T. & Fainekos, G., Jan 12 2018, 2017 13th IEEE Conference on Automation Science and Engineering, CASE 2017. IEEE Computer Society, Vol. 2017-August. p. 1059-1064 6 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Controllers

Adaptive cruise control

Collision avoidance

Simulated annealing