Reachability Analysis of Dynamical Systems having Piecewise-Constant Derivatives (1995)

by Eugene Asarin , Oded Maler , Amir Pnueli
Venue:Theoretical Computer Science
Citations:131 - 20 self