Login / Signup
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods.
Andreas Eggers
Nacim Ramdani
Nedialko S. Nedialkov
Martin 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