Learning-Based Abstractions for Nonlinear Constraint Solving.

Sumanth Dathathri Nikos Aréchiga Sicun Gao Richard M. Murray

Published in: IJCAI (2017)

Keyphrases

constraint solving
learning process
search algorithm
dynamic programming
learning systems
neural network
learning algorithm
reinforcement learning
integrity constraints
learning tasks
tree search