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

Stefan Schupp Johanna Nellen Erika Ábrahám

Published in: QAPL@ETAPS (2017)

Keyphrases

genetic programming

model checking