PPT Slide
Keep growing “good” towers, and avoid “bad” towers
Good towers are those that do not violate any goal conditions
TLPLAN Rules can get quite boroque
The heart of TLPlan is the ability to incrementally
and effectively evaluate the truth of LTL formulas.