游戏化你的 PET：将部分探索工具扩展至随机游戏
系统与控制
2024-05-14 v2 人工智能
计算机科学与博弈论
系统与控制
摘要
我们提出了部分探索工具（PET）2.0 版本，这是一个用于验证概率系统的工具。我们通过基于最近统一框架的可靠值迭代算法，扩展了前一版本，添加了对随机游戏的支持。因此，PET2 是第一个实现了可靠且高效方法的工具，用于解决具有到达/安全目标和平均收益目标类型的随机游戏。我们通过开发并实现基于部分探索的变体来补充这一方法。我们的实验评估显示，PET2 提供了最高效的基于部分探索的算法，在随机游戏上表现最佳，甚至超过了不可靠的工具。
引用
@article{arxiv.2405.03885,
title = {Playing Games with your PET: Extending the Partial Exploration Tool to Stochastic Games},
author = {Tobias Meggendorfer and Maximilian Weininger},
journal= {arXiv preprint arXiv:2405.03885},
year = {2024}
}