A concise introduction to models and methods for automated planning / Hector Geffner ; Blai Bonet. [San Rafael, Calif.] : Morgan & Claypool, 2013