Symbolic Reachability Computation for Families of Linear Vector Fields (2001)

by Gerardo Lafferriere , George J. Pappas , Sergio Yovine
Venue:Journal of Symbolic Computation
Citations:63 - 4 self