Kiam Tian Seow Michel Pasquier Vehicle route-sequence planning using temporal logic. 31-38 2002 16 AI EDAM 1 db/journals/aiedam/aiedam16.html#SeowP02