Research output per year
Research output per year
Personal profile
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
-
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources
Ernst, G., Arcaini, P., Fainekos, G., Formica, F., Inoue, J., Khandait, T., Mahboob, M. M., Menghi, C., Pedrielli, G., Waga, M., Yamagata, Y. & Zhang, Z., 2022, In: EPiC Series in Computing. 90, p. 204-221 18 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Joint Communication and Motion Planning for Cobots
Dadvar, M., Majd, K., Oikonomou, E., Fainekos, G. & Srivastava, S., 2022, 2022 IEEE International Conference on Robotics and Automation, ICRA 2022. Institute of Electrical and Electronics Engineers Inc., p. 4771-4777 7 p. (Proceedings - IEEE International Conference on Robotics and Automation).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown Environments
Lafmejani, A. S., Berman, S. & Fainekos, G., 2022, IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2022. Institute of Electrical and Electronics Engineers Inc., p. 10297-10303 7 p. (IEEE International Conference on Intelligent Robots and Systems; vol. 2022-October).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
PyFoReL: A Domain-Specific Language for Formal Requirements in Temporal Logic
Anderson, J., Hekmatnejad, M. & Fainekos, G., 2022, Proceedings - 30th IEEE International Requirements Engineering Conference, RE 2022. Knauss, E., Mussbacher, G., Arora, C., Bano, M. & Schneider, J-G. (eds.). IEEE Computer Society, p. 266-267 2 p. (Proceedings of the IEEE International Conference on Requirements Engineering; vol. 2022-August).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
ARCH-COMP 2021 Category Report: Falsification with Validation of Results
Ernst, G., Arcaini, P., Bennani, I., Chandratre, A., Donze, A., Fainekos, G., Frehse, G., Gaaloul, K., Inoue, J., Khandait, T., Mathesen, L., Menghi, C., Pedrielli, G., Pouzet, M., Waga, M., Yaghoubi, S., Yamagata, Y. & Zhang, Z., 2021, In: EPiC Series in Computing. 80, p. 133-152 20 p.Research output: Contribution to journal › Conference article › peer-review
Open Access8 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
-
VOLT: A Viscous, Orchestrated Lifting and Translation Framework
Bao, T., Gupta, S., Wang, F., Forrest, S., Shoshitaishvili, Y., Doupé, A. & Fainekos, G.
DOD-DARPA: Information Innovation Office (IIO)
7/15/20 → 7/14/23
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
-
CPS: Medium: Collaborative Research: Learning and Verifying Conformant Data-Driven Models for Cyber-Physical Systems
National Science Foundation (NSF)
10/1/19 → 9/30/23
Project: Research project
-
CES Project; Risk-aware Mission and Motion Planning for Mobile Robots
INDUSTRY: Various Consortium Members
8/1/21 → 8/31/22
Project: Research project