TY - RPRT TI - Multi-agent transformer-accelerated RL for satisfaction of STL specifications AU - Albin Larsson Forsberg AU - Alexandros Nikou AU - Aneta Vulgarakis Feljan AU - Jana Tumova PY - 2024 UR - https://arxiv.org/abs/2403.15916 ID - 2403.15916 ER -