Title: Concise Introduction to Models and Methods for Automated Planning