Sign in

Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods.

Andreas EggersNacim RamdaniNedialko S. NedialkovMartin Fränzle
Published in: Softw. Syst. Model. (2015)
Keyphrases
  • benchmark datasets
  • hybrid systems
  • genetic algorithm
  • machine learning algorithms
  • meta learning
  • neural network
  • artificial neural networks
  • prediction accuracy
  • learning experience