Extended LTLvis Motion Planning interface (Extended Technical Report)

Wei Wei, Kangjin Kim, Georgios Fainekos

This paper introduces an extended version of the Linear Temporal Logic (LTL) graphical interface. It is a sketch based interface built on the Android platform which makes the LTL c…