@misc{indiciae05ff304a39bd,
  title = {Automated Repair of Unrealisable LTL Specifications Guided by Model Counting},
  author = {Matías Brizzio and Maxime Cordy and Mike Papadakis and César Sánchez and Nazareno Aguirre and Renzo Degiovanni},
  year = {2023},
  doi = {10.1145/3583131.3590454},
  url = {https://arxiv.org/abs/2105.12595},
  note = {Source identifier: 2105.12595}
}