Author:Stanley Bak

Publications

Keyphrases

AABB Trees, Academic, Affine systems, airplane, benchmark2, CEGAR, collision detection, continuous systems, counter-example generation, F-16, Flow*, generator, hybrid automaton, hybrid systems3, Hylaa, Hypy, Hyst2, linear systems2, nonlinear, ODEs, orbital dynamics, parameter identification, pseudo-invariant, reachability2, reachability analysis2, SpaceEx, tank, tool, verification4.