Divide and Conquer : Variable Set Separation in Hybrid Systems Reachability Analysis

Waterloo, NSW] / [Open Publishing Association] (2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems : Uppsala, Sweden, 23rd April 2017 / edited by: Herbert Wiklicky and Erik de Vink
Seite(n): 1-14

Autorinnen und Autoren

Autorinnen und Autoren

Schupp, Stefan
Nellen, Johanna
Ábrahám, Erika