Author:Stanley Bak

Publications
EasyChair Preprint no. 812

Keyphrases

AABB Trees2, Academic, ACAS Xu, Affine systems2, airplane, ARCH-COMP, autonomous systems, benchmark2, C2E2, CEGAR, collision detection2, continuous systems, CORA, counter-example generation, dynamical systems, F-16, Flow*, generator, hybrid automaton, hybrid systems4, Hydra, Hylaa2, Hylaa-Continuous, Hypy, Hyst2, JuliaReach, Krylov subspace, linear continuous dynamics, linear systems3, nonlinear, nonlinear systems, ODEs, orbital dynamics, parameter identification, pseudo-invariant, reachability3, reachability analysis2, Safety Checking, SpaceEx2, spatial data structures, tank, test case, tool, verification6, XSpeed.