Research output per year
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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
-
Risk-Bounded Control Using Stochastic Barrier Functions
Yaghoubi, S., Majd, K., Fainekos, G., Yamaguchi, T., Prokhorov, D. & Hoxha, B., Nov 2021, In: IEEE Control Systems Letters. 5, 5, p. 1831-1836 6 p., 9286497.Research output: Contribution to journal › Article › peer-review
-
DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for Automated Driving Systems
Bashetty, S. K., Ben Amor, H. & Fainekos, G., May 2020, 2020 IEEE International Conference on Robotics and Automation, ICRA 2020. Institute of Electrical and Electronics Engineers Inc., p. 11353-11360 8 p. 9197053. (Proceedings - IEEE International Conference on Robotics and Automation).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Requirements-Driven Test Generation for Autonomous Vehicles with Machine Learning Components
Tuncali, C. E., Fainekos, G., Prokhorov, D., Ito, H. & Kapinski, J., Jun 2020, In: IEEE Transactions on Intelligent Vehicles. 5, 2, p. 265-280 16 p., 8911483.Research output: Contribution to journal › Article › peer-review
8 Scopus citations -
Search-based Test-CASe Generation by Monitoring Responsibility Safety Rules
Hekmatnejad, M., Hoxha, B. & Fainekos, G., Sep 20 2020, 2020 IEEE 23rd International Conference on Intelligent Transportation Systems, ITSC 2020. Institute of Electrical and Electronics Engineers Inc., 9294489. (2020 IEEE 23rd International Conference on Intelligent Transportation Systems, ITSC 2020).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications
Cralley, J., Spantidi, O., Hoxha, B. & Fainekos, G., 2020, Runtime Verification - 20th International Conference, RV 2020, Proceedings. Deshmukh, J. & Nickovic, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 404-416 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12399 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations
-
Collaborative Research: CPS: Medium: Spatio-Temporal Logics for Analyzing and Querying Perception Systems
National Science Foundation (NSF)
1/1/21 → 12/31/23
Project: Research project
-
Investigating Digital Twins for Analysis and Improvement of Critical Assets
12/7/20 → 12/6/21
Project: Research project
-
VOLT: A Viscous, Orchestrated Lifting and Translation Framework
Bao, Y., Gupta, S., Wang, R., Forrest, S., Shoshitaishvili, Y., Doupe, A. & Fainekos, G.
DOD-DARPA: Information Innovation Office (IIO)
7/15/20 → 1/14/22
Project: Research project
-
CertGATE: Certification from Generation of Automated Test Evidence
DOD-DARPA: Defense Sciences Office (DSO)
3/12/20 → 2/21/24
Project: Research project
-
CES Project: Comparison and Evaluation of Different AV Simulators for Benchmark Development
INDUSTRY: Various Consortium Members
1/20/20 → 8/31/21
Project: Research project