@misc{indiciaec24073d5f3f8,
  title = {On the Uniqueness of Solution for the Bellman Equation of LTL Objectives},
  author = {Zetong Xuan and Alper Kamil Bozkurt and Miroslav Pajic and Yu Wang},
  year = {2024},
  url = {https://arxiv.org/abs/2404.05074},
  note = {Source identifier: 2404.05074}
}