Georgios Fainekos

Georgios FainekosAssociate ProfessorComputer Science and Engineering Research Interests Cyber-physical systems: hybrid dynamical systems, real-time and embedded systems, formal methods with applications to automation & control: system testing and verification,...