BriefGPT.xyz
大模型
Ask
alpha
关键词
stutter-insensitive bisimulations
搜索结果 - 1
双仿真学习
我们介绍了一种基于数据驱动的方法来计算具有非常大,可能是无限状态空间的状态转换系统的有限双模拟。我们的新技术计算确定性系统的阻塞不敏感的双模拟,我们将其描述为学习状态分类器与每个类的排名函数的问题。我们的方法从一个有限的样本状态数据集中学习
→
PDF
a month ago
Prev
Next