Planning for temporally extended goals.
scientific article; zbMATH DE number 1139410