STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems

L4DC 2025, paper, github