加尔阿姆拉姆;沙哈尔·茂兹;活塞，或;詹·奥利弗·林格特 欧米伽规则能量游戏的高效算法。 （英语） Zbl 1522.91065号 Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047163-181（2021年）。MSC公司：91A68型 91年43月 91A05级 PDF格式BibTeX公司 XML格式引用 \textit｛G.Amram｝等人，Lect。注释计算。科学。13047163-181（2021年；Zbl 1522.91065） 全文： 内政部 链接
加尔阿姆拉姆;班萨尔，苏古曼;油炸，Dror;Martinelli Tabajara，卢卡斯;莫舍·瓦尔迪。;杰拉·韦斯 通过反应合成调整行为。 （英语） Zbl 1493.68201号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12759, 870-893 (2021).MSC公司：60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit｛G.Amram｝等人，Lect。注释计算。科学。12759870--893（2021年；Zbl 1493.68201） 全文： 内政部 arXiv公司
瑞典雅各布斯;穆罕默德·萨克尔 急切策略惰性合成的符号算法。 （英语） Zbl 1435.68198号 学报信息。 57，编号1-2，81-106（2020）.MSC公司：60年第68季度 68T20型 91A80型 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Jacobs}和\textit{M.Sakr}，《学报》第57期，第1--2,81-106号（2020年；Zbl 1435.68198） 全文： 内政部
迈克尔·卢滕伯格;菲利普·梅耶（Philipp J.Meyer）。;所罗门·西克特 通过奇偶博弈从LTL规范实际合成反应系统。 （英语） Zbl 1435.68200号 学报信息。 57，编号1-2，3-36（2020）.MSC公司：60年第68季度 03B44号 65年第68季度 91年43月 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Luttenberger}等人，《信息学报》57，第1--2、3--36期（2020年；Zbl 1435.68200） 全文： 内政部 arXiv公司
罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯特曼 图形游戏和反应合成。 （英语） Zbl 1392.68233号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。921-962 (2018).MSC公司：60年第68季度 65年第68季度 91年43月 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，in：模型检查手册。查姆：斯普林格。921-962（2018；Zbl 1392.68233） 全文： 内政部
罗德里克·布洛姆;芭芭拉·乔布斯特曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 反应（1）设计的合成。 （英语） 兹比尔1247.68050 J.计算。系统。科学。 78，第3期，911-938（2012）.MSC公司：68纳米30 03B44号 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，《计算杂志》。系统。科学。78，第3号，911--938（2012；Zbl 1247.68050） 全文： 内政部
布利切夫，P.E。 博弈论模拟检查工具。 （英语。俄文原件） Zbl 1242.68154号 程序。计算。柔和。 37，第4期，200-209（2011）; 译自Programmirovanie 37，No.4（2011）。MSC公司：60年第68季度 68问题85 03B44号 91A80型 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Bulychev}，程序。计算。柔和。37，第4号，200--209（2011；Zbl 1242.68154）；翻译自Programmirovanie 37，第4期（2011年） 全文： 内政部