Sign in

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

Stefan SchuppJohanna NellenErika Ábrahám
Published in: QAPL@ETAPS (2017)
Keyphrases
  • hybrid systems
  • reachability analysis
  • black box
  • artificial intelligence
  • genetic programming
  • model checking