Divide and Conquer : Variable Set Separation in Hybrid Systems Reachability Analysis
Schupp, Stefan (Corresponding author); Nellen, Johanna; Ábrahám, Erika
Waterloo, NSW] : [Open Publishing Association] (2017)
Contribution to a book, Contribution to a conference proceedings
In: 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)/Article-Nr.: 1-14
Identifier
- DOI: 10.4204/EPTCS.250.1
- RWTH PUBLICATIONS: RWTH-2017-06599