Author:Goran Frehse

Publications
Goran Frehse (editors)

Keyphrases

autonomous vehicles, benchmark, control design, hybrid automata, hybrid systems, lane change, MATLAB, mode transformation, reachability, safety, simulation, Simulink2, SpaceEx, Specifications, Stateflow, tools, verification, wind turbine.