4x4 Grid Avoid
收藏arXiv2025-09-30 收录
下载链接：
http://www.prismmodelchecker.org/files/rts-poptas/
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是一个最大可达性概率网格世界，其中包含一个需要避免的吸收性“坏”状态。该数据集被用于展示论文中所提出的混合整数线性规划（MILP）编码的有效性。其规模为4x4的网格，任务是对最大可达性概率进行计算。
This dataset is a maximum reachability probability grid world containing an absorbing 'bad' state that must be avoided. It is employed to demonstrate the effectiveness of the mixed integer linear programming (MILP) encoding proposed in the paper. The dataset has a 4x4 grid size, and its assigned task is to calculate the maximum reachability probability.
提供机构：
PRISM-pomdp
