Author:Georgios Fainekos

Publications

Keyphrases

Automotive2, benchmark, competition, falsification2, hybrid systems, Industrial, MATLAB, S-Taliro, simulation, Simulink, Stateflow, temporal logic2, tools.