Verification of Hybrid Systems Using Kaucher Arithmetic

Author(s)
Schwab, Stefan and Hohmann, Soeren
Journal
at - Automatisierungstechnik
Year
2019
Volume
67
No.
4
Pages
316--325
Online Sources
https://www.degruyter.com/view/j/auto.2019.67.issue-4/auto-2018-0095/auto-2018-0095.xml
DOI
https://doi.org/10.1515/auto-2018-0095
Download .bib
Download .bib
Published by
Stefan Schwab