• 2093 Citations
  • 22 h-Index
20032021
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 proceedingConference 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 proceedingConference 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 proceedingConference 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 journalArticle

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

Controllers
Adaptive cruise control
Collision avoidance
Simulated annealing

Projects 2007 2021