@misc{indiciaee0b63e21fbff,
  title = {QCTL model-checking with QBF solvers},
  author = {A. Hossain and F. Laroussinie},
  year = {2020},
  url = {https://arxiv.org/abs/2010.03185},
  note = {Source identifier: 2010.03185}
}