4 citations · 10 across the 8 of their papers we have counts for
1 paper · 1 filter
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…