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

(2017) [Buchbeitrag, Beitrag zu einem Tagungsband, Fachzeitschriftenartikel]

Electronic proceedings in theoretical computer science
Volume: 250
Page(s): 1 - 14

Authors

Selected Authors

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

Identifier