Agent programming with temporally extended goals

More Info
expand_more