Multi-agent transformer-accelerated RL for satisfaction of STL specifications | Synapse