LTLTalk - Frontend

LTLTalk is a system for instructing robots. It starts with LTL as its underlying formal language, but enables its users to expand the language. This repository contains a frontend of the system: a simple grid world in which a robot can collect items of different colors and shapes.

• you can try out LTLTalk here and check out the paper
• the setup of the frontend described here.
• the fork of semantic parser SEMPRE used with LTLTalk is available here
• the interactive synthesis code (used for determining specifications from examples) is available here