Verification of Hybrid Systems Using Kaucher Arithmetic

Autor(en)
Schwab, Stefan and Hohmann, Soeren
Zeitschrift
at - Automatisierungstechnik
Jahr
2019
Ausgabe
67
Heftnummer
4
Seiten
316--325
Link
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
Eingetragen von
Stefan Schwab