Login / Signup

Efficient Dynamic Error Reduction for Hybrid Systems Reachability Analysis.

Stefan SchuppErika Ábrahám
Published in: TACAS (2) (2018)
Keyphrases
  • hybrid systems
  • error reduction
  • reachability analysis
  • black box
  • neural network
  • meta learning
  • artificial intelligence
  • discrete event
  • model checking
  • classification error
  • semi supervised
  • intelligent systems