Author:Goran Frehse

Publications
Goran Frehse (editors)

Keyphrases

ARCH-COMP, autonomous vehicles, benchmark, C2E2, competition, control design, CORA, falsification, hybrid automata, hybrid systems3, Hydra, Hylaa, Hylaa-Continuous, JuliaReach, lane change, linear continuous dynamics, MATLAB, mode transformation, reachability, safety, simulation2, Simulink2, SpaceEx2, Specifications, Stateflow, temporal logic, tools, verification, wind turbine, XSpeed.