StatusNonePublications2022Careful Autonomous Agents in Environments With Multiple Common ResourcesRodica Condurache, Et al. ConferenceMalware in the SGX Supply Chain: Be Careful When Signing Enclaves!Vlad Craciun, Andrei Mogage, Et al. Journal2021Rational Synthesis in the Commons with Careless and Careful AgentsRodica Condurache, Et al. Conference2019Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and VerificationRodica Condurache, Et al. Conference