@misc{indiciae54d450397eed,
  title = {Three-player Differential Game Logic},
  author = {Julia Butte and André Platzer},
  year = {2026},
  url = {https://arxiv.org/abs/2607.22359},
  note = {Source identifier: 2607.22359}
}