SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications | Synapse