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

Waterloo, NSW] / [Open Publishing Association] (2017) [Contribution to a book, Contribution to a conference proceedings]

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

Authors

Authors

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

Identifier

Sources