@misc{indiciae9dde3a8aedd3,
  title = {Improvements to ltlsynt},
  author = {Florian Renkin and Philipp Schlehuber and Alexandre Duret-Lutz and Adrien Pommellet},
  year = {2022},
  url = {https://arxiv.org/abs/2201.05376},
  note = {Source identifier: 2201.05376}
}