Discrete Abstractions of Hybrid Systems (2000)

by Rajeev Alur , Thomas A. Henzinger , Gerardo Lafferriere, et al.
Citations:196 - 26 self