Incremental search methods for reachability analysis of continuous and hybrid systems (0)

by A BHATIA, E FRAZZOLI
Venue:In HSCC (2004), vol. 2993 of LNCS