Publication | Open Access

Weak, strong, and strong cyclic planning via symbolic model checking

EngineeringAi PlanningAutomated ReasoningHeuristic PlanningVerificationFormal MethodsStrong Cyclic PlanningComputer ScienceModel CheckingPlanningFormal VerificationMechanism DesignMulti-agent PlanningPlanning Theory