Rodica Condurache | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Francesco Belardinelli
28 publications
Wojciech Jamroga
17 publications
Nicolas Troquard
9 publications
Youssouf Oualhadj
7 publications
Catalin Dima
5 publications
Michał Knapik
4 publications
Madalina Jitaru
1 publication

research

∙ 07/20/2022

Careful Autonomous Agents in Environments With Multiple Common Resources

Careful rational synthesis was defined in (Condurache et al. 2021) as a ...

0 Rodica Condurache, et al. ∙

research

∙ 03/25/2022

Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol

We propose a notion of alternating bisimulation for strategic abilities ...

0 Francesco Belardinelli, et al. ∙

research

∙ 07/21/2017

The Complexity of Concurrent Rational Synthesis

In this paper, we investigate the rational synthesis problem for concurr...

0 Rodica Condurache, et al. ∙