@misc{indiciae2dc909c6c27b,
  title = {Synthesis from Weighted Specifications with Partial Domains over Finite Words},
  author = {Emmanuel Filiot and Christof Löding and Sarah Winter},
  year = {2021},
  url = {https://arxiv.org/abs/2103.05550},
  note = {Source identifier: 2103.05550}
}