A Concise Introduction to Models and Methods for Automated Planning | Springer eBooks | IEEE Xplore