Perfect Plan is an Android app to create perfect plans! The user can freely specify his/her tasks + requirements, and the PerfectPlan takes care of the rest. Perfect plan translates high level requirements defined by the user to low level properties and tries to synthesis a plan, or it tries to repair a current plan.

You can find the theory behind PerfectPlan via following papers:

PerfectPlan on Github:GitHub