Optimal Assumptions for Synthesis
Optimal Assumptions for Synthesis
复制标题
合成的最佳假设
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Romain Brenguier
中科院分区：
文献类型：
--
作者：
Romain Brenguier
登录
查看更多内容
图上无限博弈中可接受的策略
DOI：
--
发表时间：
2009
期刊：
International Symposium on Mathematical Foundations of Computer Science
影响因子：
--
作者：
M. Faella
通讯作者：
M. Faella
欧米茄常规游戏中可接受性的复杂性
DOI：
--
发表时间：
2013
期刊：
CSL-LICS
影响因子：
--
作者：
Romain Brenguier;Jean;Mathieu Sassolas
通讯作者：
Mathieu Sassolas
如何处理综合中的假设
DOI：
10.4204/eptcs.157.7
发表时间：
2014
期刊：
ArXiv
影响因子：
--
作者：
R. Bloem;Rüdiger Ehlers;Swen Jacobs;Robert Könighofer
通讯作者：
Robert Könighofer
影响因子：
6.1
作者：
Adam Brandenburger;A. Friedenberg;H. Keisler
通讯作者：
Adam Brandenburger;A. Friedenberg;H. Keisler
第一届反应合成大赛（SYNTCOMP 2014）
DOI：
--
发表时间：
2015
期刊：
International Journal on Software Tools for Technology Transfer (STTT)
影响因子：
--
作者：
Swen Jacobs;R. Bloem;Romain Brenguier;Rüdiger Ehlers;Timotheus Hell;Robert Könighofer;G. Pérez;Jean;L. Ryzhyk;O. Sankur;M. Seidl;Leander Tentrup;Adam Walker
通讯作者：
Adam Walker