Unbounded−time reachability analysis of hybrid systems by abstract acceleration
Peter Schrammel
Book Title
Embedded Software‚ EMSOFT 2015
Pages
51–54
Publisher
IEEE
Year
2015
Peter Schrammel