BriefGPT.xyz
Ask
alpha
关键词
uncertain markov decision process
搜索结果 - 1
通过高斯过程回归形式化验证未知动态系统
本文提出了一个基于高斯过程回归的验证框架,将连续空间系统抽象为有限状态不确定马尔可夫决策过程,利用模型检测工具验证抽象的不确定性,并将结果扩展到基础的部分可观测系统,有效地应用于线性、非线性和切换系统等多种情况下。
PDF
3 years ago
Prev
Next