TY  - RPRT
TI  - Lifted Model Checking for Relational MDPs
AU  - Wen-Chi Yang
AU  - Jean-François Raskin
AU  - Luc De Raedt
PY  - 2022
UR  - https://arxiv.org/abs/2106.11735
ID  - 2106.11735
ER  -