Synthesis of bulletproof strategies in imperfect information scenarios is a notoriously hard problem. In this paper, we suggest that it is sometimes a viable alternative to aim at "reasonably good" strategies instead. This makes sense not only when an ideal strategy cannot be found due to the complexity of the problem, but also when no winning strategy exists at all. We propose an algorithm for synthesis of such "pretty good" strategies. The idea is to first generate a surely winning strategy with perfect information, and then iteratively improve it with respect to two criteria of dominance: one based on the amount of conflicting decisions in the strategy, and the other related to the tightness of its outcome set. We focus on reachability goals and evaluate the algorithm experimentally with very promising results.
翻译:在不完美信息场景下合成无懈可击的策略是一个众所周知的难题。本文提出,有时将目标转向"足够好"的策略是可行的替代方案。这不仅适用于因问题复杂性无法找到理想策略的情况,也适用于根本不存在必胜策略的情形。我们提出了一种合成此类"足够好"策略的算法。其核心思路是:首先生成具有完美信息的必胜策略,随后基于两种优势性准则对其进行迭代优化——其一基于策略中冲突决策的数量,其二与策略结果集的紧致性相关。我们聚焦于可达性目标,并通过实验验证了该算法的有效性,实验结果极具前景。