Gist: A solver for probabilistic games
摘要：
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.
展开
关键词：
CiteSeerX citations Gist: A solver for probabilistic games K Chatterjee T Henzinger B Jobstmann A Radhakrishna
会议时间：
2010/04/14
被引量：
Springer
掌桥科研
Semantic Scholar
(全网免费下载)
arXiv.org
arXiv.org
(全网免费下载)
查看更多
arXiv.org
(全网免费下载)
Citeseer
(全网免费下载)
repository.ist.ac.at
seas.upenn.edu
(全网免费下载)
core.ac.uk
(全网免费下载)
mendeley.com
scienceopen.com
repository.ist.ac.at
(全网免费下载)
core.ac.uk
zentralblatt-math.org
pub.ist.ac.at
(全网免费下载)
www-verimag.imag.fr
(全网免费下载)
osti.gov
(全网免费下载)
Semantic Scholar
(全网免费下载)
arXiv.org
(全网免费下载)
arXiv.org
(全网免费下载)
Citeseer
(全网免费下载)
core.ac.uk
(全网免费下载)
seas.upenn.edu
(全网免费下载)
repository.ist.ac.at
(全网免费下载)
pub.ist.ac.at
(全网免费下载)
osti.gov
(全网免费下载)
www-verimag.imag.fr
(全网免费下载)
通过文献互助平台发起求助，成功后即可免费获取论文全文。
相似文献
参考文献
引证文献
研究点推荐
引用走势
辅助模式
引用
文献可以批量引用啦~
欢迎点我试用！
