Skip to main content

Unbounded−Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration

Dario Cattaruzza‚ Alessandro Abate‚ Peter Schrammel and Daniel Kroening

Year
2015