@misc{indiciaef86d89ef7655,
  title = {Fixed-Template Promise Model Checking Problems},
  author = {Kristina Asimi and Libor Barto and Silvia Butti},
  year = {2022},
  url = {https://arxiv.org/abs/2205.04787},
  note = {Source identifier: 2205.04787}
}