Multi-Agent Spatial-Temporal Transformer for Traffic Signal Control | IEEE Conference Publication | IEEE Xplore