Author:Stanley Bak

Publications
EasyChair Preprint no. 812

Keyphrases

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