TLPlan’s other claims to fame
TLPlan allows operators with close to full ADL representation (Easy because of its forward state-space search)
- Quantification, conditional effects etc.
- Limited numerical preconditions too
TLPlan supports definition of arbitrary new predicates in terms of existing ones (e.g. goodtower)
Naturally supports goals with temporal extent etc..
The heart of TLPlan is the ability to incrementally and effectively evaluate the truth of LTL formulas.
The big question is how easy is it to write control information (provides control knowledge for many many domains).