Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics - Rodica Bozianu; Catalin Dima; Constantin Enea (CoRR, 2012)

Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics. - Rodica Bozianu; Catalin Dima; Constantin Enea (TARK, 2013)

Safraless Synthesis for Epistemic Temporal Specifications. - Rodica Bozianu; Catalin Dima; Emmanuel Filiot (CAV, 2014)

The Complexity of Rational Synthesis. - Rodica Condurache; Emmanuel Filiot; Raffaella Gentilini; Jean-François Raskin (ICALP, 2016)

Synthesis of Interactive Reactive Systems. (Synthèse des systèmes réactifs interactifs). - Rodica Bozianu (2016)

Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot. - Francesco Belardinelli; Rodica Condurache; Catalin Dima; Wojciech Jamroga; Andrew V. Jones (AAMAS, 2017)

The Complexity of Concurrent Rational Synthesis. - Rodica Condurache; Youssouf Oualhadj (CoRR, 2017)

The Complexity of Rational Synthesis for Concurrent Games. - Rodica Condurache; Youssouf Oualhadj; Nicolas Troquard (CONCUR, 2018)

Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ Specifications. - Rodica Condurache (SYNASC, 2018)

Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification. - Rodica Condurache; Riccardo De Masellis; Valentin Goranko (PRIMA, 2019)

Rational Synthesis in the Commons with Careless and Careful Agents. - Rodica Condurache; Catalin Dima; Youssouf Oualhadj; Nicolas Troquard (AAMAS, 2021)

Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol. - Francesco Belardinelli; Rodica Condurache; Catalin Dima; Wojciech Jamroga; Michal Knapik (Inf. Comput., 2021)

Careful Autonomous Agents in Environments With Multiple Common Resources. - Rodica Condurache; Catalin Dima; Madalina Jitaru; Youssouf Oualhadj; Nicolas Troquard (AREA@IJCAI-ECAI, 2022)

Synthesis of Resource-Aware Controllers Against Rational Agents. - Rodica Condurache; Catalin Dima; Youssouf Oualhadj; Nicolas Troquard (AAMAS, 2023)