萨吉卜·索哈伊尔;法比奥·萨蒙齐;卡维塔·拉维 LTL游戏的混合算法。 （英文） Zbl 1138.68459号 Logozzo，Francesco（编辑）等人，《验证、模型检查和抽象解释》。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78162-2/pbk）。计算机科学课堂讲稿4905309-323（2008）。 摘要：在反应系统综合的博弈论方法中，规范通常以线性时间逻辑（LTL）给出。计算以LTL属性集为获胜条件的无限对策的获胜策略是获得实现的主要步骤。我们提出了一种实用的混合算法——符号算法和显式算法的组合——用于计算无限制LTL博弈的获胜策略，我们已成功地将其应用于合成具有最多10 ^{11}个状态的反应系统。关于整个系列，请参见[Zbl 1134.68006号]. 引用于4文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B44号 时序逻辑 05年3月 与逻辑问题相关的自动机和形式文法 91A80型 博弈论的应用 PDF格式BibTeX公司 XML格式引用 \textit{S.Sohail}等人，Lect。票据计算。科学。4905309--323（2008年；Zbl 1138.68459） 全文： DOI程序