Assignee

FAINEKOS GEORGIOS

US1 patents

Top patents by PatentIndex Score

US10409706B2Sep 10, 2019

Automated test generation for structural coverage for temporal logic falsification of cyber-physical systems

FAINEKOS GEORGIOS2 citations61