Planning for Hybrid Systems via Satisfiability Modulo Theories.

Michael Cashmore Daniele Magazzeni Parisa Zehtabi

Published in: J. Artif. Intell. Res. (2020)

Keyphrases

hybrid systems
black box
intelligent systems
computational intelligence
soft computing

meta learning
neural network
artificial intelligence
satisfiability modulo theories
discrete event

modulo theories
planning problems
machine learning
inductive learning
evolutionary computation

heuristic search
machine learning algorithms
genetic programming
artificial neural networks