Verification of hybrid systems using Kaucher arithmetic
| Zugehörige Institution(en) am KIT | Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität) FZI Forschungszentrum Informatik (FZI) Institut für Regelungs- und Steuerungssysteme (IRS) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsmonat/-jahr | 04.2019 |
| Sprache | Englisch |
| Identifikator | ISSN: 2196-677X, 0178-2312 KITopen-ID: 1000100164 |
| Erschienen in | Automatisierungstechnik |
| Verlag | De Gruyter |
| Band | 67 |
| Heft | 4 |
| Seiten | 316–325 |
| Vorab online veröffentlicht am | 28.03.2019 |
| Nachgewiesen in | Scopus Dimensions Web of Science |