Inproceedings,

Using Linear Temporal Logic to Model and Solve Planning Problems.

, and .
AIMSA, volume 1480 of Lecture Notes in Computer Science, page 141-152. Springer, (1998)

Meta data

Tags

Users

  • @dblp

Comments and Reviews