Author:Georgios Fainekos

Publications

Keyphrases

Automotive2, benchmark, Benchmarking2, competition, Cyber-Physical Systems2, evaluation2, falsification5, Friendly Competition3, hybrid systems2, Industrial, MATLAB, S-Taliro, simulation2, Simulink, Stateflow, temporal logic3, tools.