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

Klaus P. Jantke, Oksana Arnold

Browse the full TIME paper archive.