Observer-based Control of Multi-agent Systems under STL Specifications | Synapse