BriefGPT.xyz
Ask
alpha
关键词
bisimulation minimization
搜索结果 - 1
利用机器学习改进 MDPs 的概率双模拟
我们提出了一种新技术,通过使用给定模型的 PRISM 程序构建一些模型的小版本并训练一个分类器,然后应用机器学习分类技术来近似相关分区,将分区结果作为标准双模拟技术的初始分区,以减少方法的运行时间。实验结果表明,该方法与最先进的工具相比,可
→
PDF
a year ago
Prev
Next