139
click to vote
ECAI
2010
Springer
15 years 26 days ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...