GIST：概率博弈求解器
计算机科学中的逻辑
2010-04-15 v1
摘要
Gist是一个工具，它(a)解决了具有ω-正则目标的回合制概率博弈的定性分析问题；(b)为不可实现规约的综合合成了合理的环境假设。我们的工具提供了几种基于归约的技术来求解回合制概率博弈的首个且高效的实现，并利用对回合制概率博弈的分析来为不可实现规约综合环境假设。
引用
@article{arxiv.1004.2367,
title = {GIST: A Solver for Probabilistic Games},
author = {Krishnendu Chatterjee and Thomas A. Henzinger and Barbara Jobstmann and Arjun Radhakrishna},
journal= {arXiv preprint arXiv:1004.2367},
year = {2010}
}