Author:Goran Frehse

Publications
Goran Frehse (editors)

Keyphrases

ARCH-COMP2, autonomous vehicles, benchmark, C2E2, competition, control design, CORA2, falsification2, Friendly Competition, hybrid automata, hybrid systems5, Hydra2, Hylaa, Hylaa-Continuous, JuliaReach2, lane change, linear continuous dynamics2, MATLAB, mode transformation, reachability, safety, simulation3, Simulink2, SpaceEx3, Specifications, Stateflow, temporal logic2, tools, verification, wind turbine, XSpeed.