Verifiable Planning in Expected Reward Multichain MDPs

Open in new window