Research Output per year
Personal profile
Education/Academic qualification
PHD, University of Pennsylvania
… → 2008
MS, University of Pennsylvania
… → 2004
Fingerprint Dive into the research topics where Georgios Fainekos is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Temporal logic
Engineering & Materials Science
Specifications
Engineering & Materials Science
Temporal Logic
Mathematics
Hybrid systems
Engineering & Materials Science
Motion planning
Engineering & Materials Science
Robots
Engineering & Materials Science
Testing
Engineering & Materials Science
Controllers
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2003 2019
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
1
Citation
(Scopus)
Evaluating perception systems for autonomous vehicles using quality temporal logic
Dokhanchi, A., Ben Amor, H., Deshmukh, J. V. & Fainekos, G., Jan 1 2019, Runtime Verification- 18th International Conference, RV 2018, Proceedings. Leucker, M. & Colombo, C. (eds.). Springer Verlag, p. 409-416 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11237).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Situation Awareness
Temporal logic
Autonomous Vehicles
Temporal Logic
Formal languages
Falsification of cyber-physical systems through multi-fidelity stochastic optimization
Inanlouganji, A., Yaghoubi, S., Fainekos, G. & Pedrielli, G., Apr 15 2019, SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT. Ramachandran, G. S. & Ortiz, J. (eds.). Association for Computing Machinery, Inc, 3313371. (SNR 2019 - Proceedings of the 5th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Stochastic Optimization
Fidelity
Simulation Model
Cost Function
Cost functions
Gray-box adversarial testing for control systems with machine learning components
Yaghoubi, S. & Fainekos, G., Apr 16 2019, HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery, Inc, p. 179-184 6 p. (HSCC 2019 - Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Learning systems
Neural networks
Control systems
Closed loop control systems
Controllers
Local descent for temporal logic falsification of cyber-physical systems
Yaghoubi, S. & Fainekos, G., Jan 1 2019, Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Revised Selected Papers. Chamberlain, R., Taha, W. & Törngren, M. (eds.). Springer Verlag, p. 11-26 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11267 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Temporal logic
Global optimization
Temporal Logic
Simulated annealing
Descent
Projects 2010 2021
Intel-ASU A-SPACE Initiative: Proposed Research Tasks
Karam, L., Bazzi, R., Marchant, G., Shrivastava, A., Fainekos, G., Mayyas, A. & Ben Amor, H.
5/1/18 → 4/30/21
Project: Research project
CAREER: Robustness Guided Testing and Verification for Cyber-Physical Systems
National Science Foundation (NSF)
8/15/14 → 7/31/20
Project: Research project
CES Project: Design and Analysis of Collision Risk Assessment and Collision Avoid
INDUSTRY: Various Consortium Members
8/1/18 → 8/31/19
Project: Research project
CES Project: Coverage guarantees for requirements guided falsification
INDUSTRY: Various Consortium Members
8/1/18 → 8/31/19
Project: Research project
CES Project: Automated Testing for Functional Coverage for Cyber-Physical Systems
INDUSTRY: Various Consortium Members
8/1/17 → 8/31/18
Project: Research project