受强制性开放获取政策约束的文章 - Rodica (Bozianu) Condurache了解详情
可在其他位置公开访问的文章：3 篇
The complexity of rational synthesis
R Condurache, E Filiot, R Gentilini, JF Raskin
43rd International Colloquium on Automata, Languages, and Programming (ICALP …, 2016
强制性开放获取政策： National Fund for Scientific Research, Belgium, European Commission …
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
F Belardinelli, R Condurache, C Dima, W Jamroga, M Knapik
Information and Computation 276, 104552, 2021
强制性开放获取政策： Agence Nationale de la Recherche
Dynamic multi-agent systems: conceptual framework, automata-based modelling and verification
R Condurache, R De Masellis, V Goranko
International Conference on Principles and Practice of Multi-Agent Systems …, 2019
强制性开放获取政策： Swedish Research Council
出版信息和资助信息由计算机程序自动确定