Efficient Strategy Synthesis for MDPs with Resource Constraints

Open in new window