受强制性开放获取政策约束的文章 - Steen Vester了解详情
可在其他位置公开访问的文章:4 篇
Nash equilibria in symmetric graph games with partial observation
P Bouyer, N Markey, S Vester
Information and Computation 254, 238-258, 2017
强制性开放获取政策: European Commission
Synthesis of railway-signaling plans using reachability games
P Kasting, MR Hansen, S Vester
Proceedings of the 28th Symposium on the Implementation and Application of …, 2016
强制性开放获取政策: Danish National Research Foundation
Symmetry reduction in infinite games with finite branching
N Markey, S Vester
International Symposium on Automated Technology for Verification and …, 2014
强制性开放获取政策: European Commission
Distributed synthesis in continuous time
H Hermanns, J Krčál, S Vester
Foundations of Software Science and Computation Structures: 19th …, 2016
强制性开放获取政策: German Research Foundation
出版信息和资助信息由计算机程序自动确定