SMT vs Genetic Algorithms: Concrete Planning in PlanICS Framework.

Artur Niewiadomski Wojciech Penczek Jaroslaw Skaruz

Published in: CS&P (2013)

Keyphrases

genetic algorithm
neural network
main contribution
data sets
theoretical framework
conceptual framework
fuzzy logic
optimization algorithm
planning problems
decision theoretic
uncertain environments