模型检测 中最大的困难是状态空间爆炸；解决状态空间爆炸有如下 方法 ： 符号化 模型 检验技术； 偏序规约技术； on-the-fly技术； 对称技术； 抽象和组合技术； 二... 模型 检验的目的随着 学习 算法种类，特征转换方式，正则化方式等等的增加，在不同的组合之下我们就会得到种类非常多的 学习模型 。
模型检测 中最大的困难是状态空间爆炸；解决状态空间爆炸有如下 方法 ： 符号化 模型 检验技术； 偏序规约技术； on-the-fly技术； 对称技术； 抽象和组合技术； 二... 模型 检验的目的随着 学习 算法种类，特征转换方式，正则化方式等等的增加，在不同的组合之下我们就会得到种类非常多的 学习模型 。