3 papers
cs.AI2021
Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021
Buser Say, Scott Sanner, Jo Devriendt +2
This document provides a brief introduction to learned automated planning problem where the state transition function is in the form of a binarized neural network (BNN), presents a…
cs.AI2019
Reward Potentials for Planning with Learned Neural Network Transition Models
Buser Say, Scott Sanner, Sylvie Thiébaux
Optimal planning with respect to learned neural network (NN) models in continuous action and state spaces using mixed-integer linear programming (MILP) is a challenging task for br…
cs.AI2019
Scalable Planning with Deep Neural Network Learned Transition Models
Ga Wu, Buser Say, Scott Sanner
In many real-world planning problems with factored, mixed discrete and continuous state and action spaces such as Reservoir Control, Heating Ventilation, and Air Conditioning, and…