GPT: A Tool for Planning with Uncertainty and Partial Information.

Authors: Blai Bonet <bonet AT ldc DOT usb DOT ve> and Hector Geffner <hector DOT geffner AT upf DOT edu>