SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems.

Andreas Eggers Martin Fränzle Christian Herde

Published in: ATVA (2008)

Keyphrases

hybrid systems
search problems
search algorithm
intelligent systems
black box
search strategies
soft computing
meta learning
discrete event
neural network
decision trees
search space
knowledge representation
prediction accuracy