Linear Temporal Logic (LTL)

Linear Temporal Logic, Planning and Synthesis

classical planners computing infinite loopy plans, and FOND planners synthesizing controllers expressed as policies.