GIST：概率博弈的求解器
GIST: A Solver for Probabilistic Games
摘要：
Gist是一个工具，它（a）解决了具有ω-正则目标的回合制概率游戏的定性分析问题;（b）合成合理的环境假设，用于合成不可实现的规范。我们的工具提供了第一个和有效的实现几个减少为基础的技术来解决回合制概率游戏，并使用回合制概率游戏的分析，合成环境假设为不可实现的规格。
英文摘要：
Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with ω-regular objectives; and (b) synthesizes reasonable environment assumptions for synthesis of unrealizable specifications. Our tool provides the first and efficient implementations of several reduction-based techniques to solve turn-based probabilistic games, and uses the analysis of turn-based probabilistic games for synthesizing environment assumptions for unrealizable specifications.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
