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
2
Citations
(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
1
Citation
(Scopus)
Falsification of cyber-physical systems with robustness uncertainty quantification through stochastic optimization with adaptive restart
Mathesen, L., Yaghoubi, S., Pedrielli, G. & Fainekos, G., Aug 2019, 2019 IEEE 15th International Conference on Automation Science and Engineering, CASE 2019. IEEE Computer Society, p. 991-997 7 p. 8843005. (IEEE International Conference on Automation Science and Engineering; vol. 2019-August).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Temporal logic
Trajectories
Specifications
Formal logic
Uncertainty
4
Citations
(Scopus)
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
Projects 2010 2022
CPS: Medium: Collaborative Research: Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems
National Science Foundation (NSF)
10/1/19 → 9/30/22
Project: Research project
RAISE: C-Accel Pilot - Track B2 (National Talent Ecosystem): Safe Skill-Aligned On-The-Job Training with Autonomous Systems
Srivastava, S., Kambhampati, S., Cooke, N., VanLehn, K., Fainekos, G., Hsiao, I., Bowman, D., Chiou, E. & Michael, K.
National Science Foundation (NSF)
9/1/19 → 5/31/20
Project: Research project
CES Project: Requirements-Driven Testing for Autonomous Systems with NN in the Loop
INDUSTRY: Various Consortium Members
8/1/19 → 8/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/20
Project: Research project
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