@article{verifiableplanninginexpectedreward,
  title = {Steady-State Planning in Expected Reward Multichain MDPs},
  author = {George K. Atia and Andre Beckus and Ismail Alkhouri and Alvaro Velasquez},
  year = {2020},
  eprint = {2012.02178},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2012.02178v2},
}