DMCA

Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems (2000)

by Eugene Asarin , Olivier Bournez , Thao Dang , Oded Maler
Citations:140 - 31 self