Unbounded−Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration
Dario Cattaruzza‚ Alessandro Abate‚ Peter Schrammel and Daniel Kroening
Book Title
Static Analysis Symposium‚ SAS 2015
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
to appear
Year
2015