Context-Dependent Reachability Analysis for Hybrid Systems

Schupp, Stefan (Corresponding author); Winkens, Justin (Corresponding author); Ábrahám, Erika (Corresponding author)

Piscataway, NJ : IEEE (2018)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 2018 IEEE 19th International Conference on Information Reuse and Integration for Data Science : IRI 2018 : 7-9 July 2018, Salt Lake City, Utah, USA : proceedings / publisher: IEEE
Seite(n)/Artikel-Nr.: 518-525