Reachability analysis of dynamical systems having piecewise-constant derivatives (1995)

by E Asarin, O Maler, A Pnueli
Venue:Theoretical Computer Science