@misc{indiciae8f1a9d5fdc53,
  title = {Contract-Based Distributed Synthesis in Two-Objective Parity Games},
  author = {Ashwani Anand and Satya Prakash Nayak and Anne-Kathrin Schmuck},
  year = {2024},
  doi = {10.1145/3641513.3650123},
  url = {https://arxiv.org/abs/2307.06212},
  note = {Source identifier: 2307.06212}
}