no code implementations • 23 Jan 2014 • Amanda J. Coles, Andrew I. Coles, Maria Fox, Derek Long
The LP is used to compute bounds on the values of variables in each state, reducing the range of actions that need to be considered for application.
