Author:Goran Frehse

Publications
Goran Frehse (editors)

Keyphrases

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