Lifted Model Checking for Relational MDPs

Open in new window