MyPlan project http://www.lkl.ac.uk/research/myplan/ Overview of the system System architecture Case studies Main interface of the L4ALL system, with a dynamic representation…