Rodica Bozianu Condurache

Rodica Bozianu Condurache

Alexandru Ioan Cuza University - Iași / Romania
Engineering & Technology / Computer Science
AD Scientific Index ID: 5147366
Universitatea Alexandru Ioan Cuza din Iași
person_outline Rodica Bozianu Condurache's MOST POPULAR ARTICLES
1-) The complexity of rational synthesisR Condurache, E Filiot, R Gentilini, JF Raskin43rd International Colloquium on Automata, Languages, and Programming (ICALP …, 2016462016
2-) Bisimulations for verifying strategic abilities with an application to threeballotF Belardinelli, R Condurache, C Dima, W Jamroga, AV JonesProceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017282017
3-) Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocolF Belardinelli, R Condurache, C Dima, W Jamroga, M KnapikInformation and Computation 276, 104552, 2021112021
4-) Safraless synthesis for epistemic temporal specificationsR Bozianu, C Dima, E FiliotInternational Conference on Computer Aided Verification, 441-456, 2014112014
5-) Rational Synthesis in the Commons with Careless and Careful AgentsR Condurache, C Dima, Y Oualhadj, N TroquardProceedings of the 20th International Conference on Autonomous Agents and …, 2021102021