Algorithmic Analysis of Polygonal Hybrid Systems, Part I: Reachability
Theoretical Computer Science- Netherlands
doi 10.1016/j.tcs.2007.03.055
Full Text
Abstract
Available in
Date
June 1, 2007
Authors
Publisher
Elsevier BV
doi 10.1016/j.tcs.2007.03.055
Available in
June 1, 2007
Elsevier BV