@misc{indiciae2e8012893c70,
  title = {Lifted Model Checking for Relational MDPs},
  author = {Wen-Chi Yang and Jean-François Raskin and Luc De Raedt},
  year = {2022},
  url = {https://arxiv.org/abs/2106.11735},
  note = {Source identifier: 2106.11735}
}