Context-Dependent Reachability Analysis for Hybrid Systems

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

Piscataway, NJ : IEEE (2018)
Contribution to a book, Contribution to a conference proceedings

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
Page(s)/Article-Nr.: 518-525