Constraint Satisfaction Propagation: Non-stationary Policy Synthesis for Temporal Logic Planning

Thomas J. Ringstrom, Paul R. Schrater

Problems arise when using reward functions to capture dependencies between sequential time-constrained goal states because the state-space must be prohibitively expanded to accommo…