Control device, control method and storage medium

A control method performed by a computer and comprising:

• transmitting, to a display device, display information including a workspace image of a workspace of a robot which executes a task;
• upon receiving, from the display device, task designation information that is input information which specifies a position or a destination of an object for the execution of the task;
• converting an objective task specified by the task designation information, into a logical formula based on a temporal logic;
• generating, from the logical formula, a time step logical formula representing states at each time step for completing the objective task;
• and
• generating an operation sequence to be executed by the robot, based on the task designation information and based on the time step logical formula;
• and
• controlling the robot to execute the operation sequence that has been generated.

A non-transitory computer readable storage medium storing a program executable by a computer to perform processing comprising:

• transmitting, to a display device, display information including a workspace image of a workspace of a robot which executes a task;
• upon receiving, from the display device, task designation information that is input information which specifies a position or a destination of an object for the execution of the task;
• converting an objective task specified by the task designation information, into a logical formula based on a temporal logic;
• generating, from the logical formula, a time step logical formula representing states at each time step for completing the objective task;
• and
• generating an operation sequence to be executed by the robot, based on the task designation information and based on the time step logical formula;
• and
• controlling the robot to execute the operation sequence that has been generated.