Author:Stanley Bak

Publications
EasyChair Preprint no. 812

Keyphrases

AABB Trees2, Academic, Affine systems2, airplane, benchmark2, CEGAR, collision detection2, 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, Safety Checking, SpaceEx, spatial data structures, tank, tool, verification5.