Using linear temporal logic to model and solve planning problems
Cerrito, S ; Mayer, MC ; - ASI Sponsor
Jan - 1998

journal : Automated Reasoning with Analytic Tableaux and
type: Article Journal

Abstract

keywords :