A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms

Klaus P. Jantke, Oksana Arnold. A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms. In TIME. pages 182-187, 1996.

Abstract

Abstract is missing.