Georgios FAINEKOS

Person

Phoenix, AZ, US

People

Patents Grantslast 30 patents

Information Patent Grant
Methods and systems for spatio-temporal regular expression matching
- Patent number 12,361,086
- Issue date Jul 15, 2025
- Toyota Motor Engineering & Manufacturing North America, Inc.
- Jacob W. Anderson
- B60 - VEHICLES IN GENERAL
Information Patent Grant
Automated test generation for structural coverage for temporal logi...
- Patent number 10,409,706
- Issue date Sep 10, 2019
- Arizona Board of Regents on behalf of Arizona State University
- Georgios Fainekos
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SYSTEM AND METHOD FOR SAFE CONTROL SYNTHESIS FOR HYBRID SYSTEMS THR...
- Publication number 20250162614
- Publication date May 22, 2025
- Toyota Motor Engineering & Manufacturing North America, Inc.
- Shuo YANG
- B60 - VEHICLES IN GENERAL
Information Patent Application
SYSTEMS AND METHODS FOR PREDICTIVE RISK-AWARE CONTROL OF VEHICLES I...
- Publication number 20250121849
- Publication date Apr 17, 2025
- Toyota Motor Engineering & Manufacturing North America, Inc.
- Mitchell Black
- B60 - VEHICLES IN GENERAL
Information Patent Application
LEARNING ABSTRACTIONS FOR MULTI-ROBOT PATH PLANNING IN UNSTRUCTURED...
- Publication number 20250121500
- Publication date Apr 17, 2025
- Toyota Motor Engineering & Manufacturing North America, Inc.
- Naman P. SHAH
- B25 - HAND TOOLS PORTABLE POWER-DRIVEN TOOLS MANIPULATORS
Information Patent Application
SYSTEMS AND METHODS FOR CONTROL BARRIER FUNCTIONS FOR ENHANCED FEAS...
- Publication number 20250110455
- Publication date Apr 3, 2025
- Toyota Motor Engineering & Manufacturing North America, Inc.
- Hardik PARWANA
- G05 - CONTROLLING REGULATING
Information Patent Application
METHODS AND SYSTEMS FOR SPATIO-TEMPORAL REGULAR EXPRESSION MATCHING
- Publication number 20240394318
- Publication date Nov 28, 2024
- Toyota Motor Engineering & Manufacturing North America, Inc.
- Jacob W. Anderson
- B60 - VEHICLES IN GENERAL
Information Patent Application
TIMED PARTIAL ORDER IDENTIFICATION FOR TASK LEARNING FROM DATA
- Publication number 20240338626
- Publication date Oct 10, 2024
- Toyota Motor Engineering & Manufacturing North America, Inc.
- Kandai Watanabe
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
NEURAL NETWORK VERIFICATION FOR NEURAL NETWORK CONTROLLERS
- Publication number 20240281640
- Publication date Aug 22, 2024
- Toyota Motor Engineering & Manufacturing North America, Inc.
- Bardh Hoxha
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEMS AND METHODS FOR RISK-BOUNDED CONTROL BARRIER FUNCTIONS
- Publication number 20240272636
- Publication date Aug 15, 2024
- Toyota Motor Engineering & Manufacturing North America, Inc.
- Mitchell Black
- B60 - VEHICLES IN GENERAL
Information Patent Application
Automated Test Generation for Structural Coverage for Temporal Logi...
- Publication number 20180095861
- Publication date Apr 5, 2018
- Georgios Fainekos
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TEMPORAL LOGIC ROBUSTNESS GUIDED TESTING FOR CYBER-PHYSICAL SYSTEMS
- Publication number 20160292307
- Publication date Oct 6, 2016
- Arizona Board of Regents on behalf of Arizona State University
- Georgios FAINEKOS
- G06 - COMPUTING CALCULATING COUNTING

Georgios FAINEKOS

Person

Patents Grantslast 30 patents

Methods and systems for spatio-temporal regular expression matching

Automated test generation for structural coverage for temporal logi...

Patents Applicationslast 30 patents

SYSTEM AND METHOD FOR SAFE CONTROL SYNTHESIS FOR HYBRID SYSTEMS THR...

SYSTEMS AND METHODS FOR PREDICTIVE RISK-AWARE CONTROL OF VEHICLES I...

LEARNING ABSTRACTIONS FOR MULTI-ROBOT PATH PLANNING IN UNSTRUCTURED...

SYSTEMS AND METHODS FOR CONTROL BARRIER FUNCTIONS FOR ENHANCED FEAS...

METHODS AND SYSTEMS FOR SPATIO-TEMPORAL REGULAR EXPRESSION MATCHING

TIMED PARTIAL ORDER IDENTIFICATION FOR TASK LEARNING FROM DATA

NEURAL NETWORK VERIFICATION FOR NEURAL NETWORK CONTROLLERS

SYSTEMS AND METHODS FOR RISK-BOUNDED CONTROL BARRIER FUNCTIONS

Automated Test Generation for Structural Coverage for Temporal Logi...

TEMPORAL LOGIC ROBUSTNESS GUIDED TESTING FOR CYBER-PHYSICAL SYSTEMS