“…The theorem follows from Lemma 4.2, Lemma 4.5, Lemma 4.7, Proposition 2.2, the fact that the IMDP defined in this section can be constructed in polynomial time, and the fact that quantitative and qualitative problems for IMDPs can be solved in polynomial time, given that there exist polynomial-time algorithms for analogous problems on IMCs with the semantics adopted in this paper [PLSS13,CHK13,CK15,Spr18]. We add that the quantitative and qualitative problems for 1c-cdPTAs are PTIME-hard, following from the PTIME-hardness of the corresponding problems for MDPs [PT87, CDH10].…”