Rodica Condurache

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 11

Top Topics

Experimental Evaluation

Voting Protocols

Bounded Rationality

Top Venues

Publications

Rodica Condurache, Catalin Dima, Youssouf Oualhadj, Nicolas Troquard
Synthesis of Resource-Aware Controllers Against Rational Agents. AAMAS (2023)
Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik
Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol. CoRR (2022)
Rodica Condurache, Catalin Dima, Madalina Jitaru, Youssouf Oualhadj, Nicolas Troquard
Careful Autonomous Agents in Environments With Multiple Common Resources. AREA@IJCAI-ECAI (2022)
Rodica Condurache, Catalin Dima, Youssouf Oualhadj, Nicolas Troquard
Rational Synthesis in the Commons with Careless and Careful Agents. AAMAS (2021)
Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Michal Knapik
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. Inf. Comput. 276 (2021)
Rodica Condurache, Riccardo De Masellis, Valentin Goranko
Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification. PRIMA (2019)
Rodica Condurache
Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ Specifications. SYNASC (2018)
Rodica Condurache, Youssouf Oualhadj, Nicolas Troquard
The Complexity of Rational Synthesis for Concurrent Games. CONCUR (2018)
Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones
Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. AAMAS (2017)
Rodica Condurache, Youssouf Oualhadj
The Complexity of Concurrent Rational Synthesis. CoRR (2017)
Rodica Condurache, Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin
The Complexity of Rational Synthesis. ICALP (2016)