Vehicle route-sequence planning using temporal logic

Kiam Tian Seow, Michel Pasquier. Vehicle route-sequence planning using temporal logic. AI EDAM, 16(1):31-38, 2002.

Abstract

Abstract is missing.