@misc{indiciae56ff65c814dc,
  title = {LTL Reactive Synthesis with a Few Hints},
  author = {Mrudula Balachander and Emmanuel Filiot and Jean-François Raskin},
  year = {2023},
  url = {https://arxiv.org/abs/2301.10485},
  note = {Source identifier: 2301.10485}
}