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.

  • 2 Similar Profiles
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
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

  • 2149 Citations
  • 22 h-Index
  • 63 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 proceedingConference contribution

Simulation Optimization
Continuous Optimization
Gaussian Process
Fidelity
Regression

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 proceedingConference 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 proceedingConference contribution

Temporal logic
Global optimization
Temporal Logic
Simulated annealing
Descent
1 Citation (Scopus)

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 proceedingConference contribution

Risk assessment
Accidents
Decision making
Cameras
Experiments

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 proceedingConference contribution

Simulators
Specifications
Planning
Simulator
Specification

Projects 2010 2021