@misc{indiciae61ef6c07ae92,
  title = {STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems},
  author = {Shuo Yang and Hongrui Zheng and Cristian-Ioan Vasile and George Pappas and Rahul Mangharam},
  year = {2024},
  url = {https://arxiv.org/abs/2412.01656},
  note = {Source identifier: 2412.01656}
}