Rodica Condurache

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