Reachability computation for polynomial dynamical systems
scientific article; zbMATH DE number 6715261
scientific article
Hybrid Systems: Computation and Control