Environment-Independent Task Specifications via GLTL
Artificial intelligence: A modern approach