Model Checking Goal Agents