Planning for Hybrid Systems via Satisfiability Modulo Theories.
Michael CashmoreDaniele MagazzeniParisa ZehtabiPublished 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