Rodica Condurache

According to our database, Rodica Condurache authored at least 14 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Synthesis of Resource-Aware Controllers Against Rational Agents.

Rodica Condurache, Catalin Dima, Youssouf Oualhadj, Nicolas Troquard

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Careful Autonomous Agents in Environments With Multiple Common Resources.

Rodica Condurache, Catalin Dima, Madalina Jitaru, Youssouf Oualhadj, Nicolas Troquard

Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, 2022

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

Rational Synthesis in the Commons with Careless and Careful Agents.

Rodica Condurache, Catalin Dima, Youssouf Oualhadj, Nicolas Troquard

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2019

Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification.

Rodica Condurache, Riccardo De Masellis, Valentin Goranko

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

2018

Experimental Evaluation of Acacia-K: A Tool for Synthesis of Reactive Systems from KLTL+ Specifications.

Rodica Condurache

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

The Complexity of Rational Synthesis for Concurrent Games.

Rodica Condurache, Youssouf Oualhadj, Nicolas Troquard

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

The Complexity of Concurrent Rational Synthesis.

Rodica Condurache, Youssouf Oualhadj

CoRR, 2017

Bisimulations for Verifying Strategic Abilities with an Application to ThreeBallot.

Francesco Belardinelli, Rodica Condurache, Catalin Dima, Wojciech Jamroga, Andrew V. Jones

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

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

Rodica Bozianu

PhD thesis, 2016

The Complexity of Rational Synthesis.

Rodica Condurache, Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

2014

Safraless Synthesis for Epistemic Temporal Specifications.

Rodica Bozianu, Catalin Dima, Emmanuel Filiot

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Model checking an Epistemic mu-calculus with Synchronous and Perfect Recall Semantics.

Rodica Bozianu, Catalin Dima, Constantin Enea

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

2012

Model-checking an Epistemic μ-calculus with Synchronous and Perfect Recall Semantics

Rodica Bozianu, Catalin Dima, Constantin Enea

CoRR, 2012