可能的Kripke结构决策过程,薛艳,雷红轩,首先,提出了可能的Kripke结构决策过程(PKSDP)的概念。由于PKSDP是可能的Kripke结构(PKS)的泛化,因此它被广泛地应用于建模和量化随��