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.
- 1 Similar Profiles
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
1
Citation
(Scopus)
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
5
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
Bazzi, R., Marchant, G., Shrivastava, A., Fainekos, G., Mayyas, A. & Ben Amor, H.
5/1/18 → 4/30/21
Project: Research project