PRISM 模型类型
欢迎来到 PRISM 的 PRISM 模型类型 部分，在这一章节中，你将学到以下内容：
- PRISM 离散时间马尔可夫链(DTMC)
- PRISM 连续时间马尔可夫链(CTMC)
- PRISM 马尔可夫决策过程(MDP)
- PRISM 概率时间自动机(PTA)
- PRISM 随机博弈(SMG)
- PRISM 马尔可夫自动机(MA)
- PRISM 模型类型选择指南
- PRISM 模型转换技术
- PRISM 混合模型策略
- PRISM 模型类型约束
- PRISM 状态空间特性
- PRISM 模型合规性检查
- PRISM 模型比较
- PRISM 具体模型实例分析
Have fun coding!