• 1984 Citations
  • 21 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.

  • 1 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
Specification Mathematics
Testing Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2003 2018

  • 1984 Citations
  • 21 h-Index
  • 57 Conference contribution
  • 18 Article
  • 2 Patent
  • 1 Chapter

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 Citations

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

Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS

Nguyen, L. V., Hoxha, B., Johnson, T. T. & Fainekos, G., Jan 1 2018, In : IFAC-PapersOnLine. 51, 16, p. 67-72 6 p.

Research output: Contribution to journalArticle

Algebra
Specifications
Planning
Unmanned aerial vehicles (UAV)
Mathematical operators

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels

Hekmatnejad, M. & Fainekos, G., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-June. p. 2363-2370 8 p. 8431556

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Temporal logic
Planning
Motion planning
Railroad cars
Semantics

Projects 2007 2021