I agree that this site is using cookies. You can find further informations here.
X
Dima, Augustin Catalin
6  results:
Bookchapter (Online) X
Search for persons X
?
1

Observational Preorders for Alternating Transition Systems:

, In: Multi-Agent Systems; Lecture Notes in Computer Science,
Demangeon, Romain ; Dima, Catalin ; Varacca, Daniele - p. 312-327 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Rational Synthesis in the Commons with Careless and Careful..:

, In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems,
Condurache, Rodica ; Dima, Catalin ; Oualhadj, Youssouf. - p. 368-376 , 2021
Link: https://dl.acm.org/doi/1..
 
?
3

A Hennessy-Milner Theorem for ATL with Imperfect Informatio:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,
Belardinelli, Francesco ; Dima, Catalin ; Malvone, Vadim. - p. 181-194 , 2020
Link: https://dl.acm.org/doi/1..
 
?
4

Verifying Strategic Abilities in Multi-agent Systems with P..:

, In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems,
Belardinelli, Francesco ; Boureanu, Ioana ; Dima, Catalin. - p. 1820-1822 , 2019
Link: https://dl.acm.org/doi/1..
 
?
5

Bisimulations for Verifying Strategic Abilities with an App..:

, In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems,
Belardinelli, Francesco ; Condurache, Rodica ; Dima, Catalin.. - p. 1286-1295 , 2017
Link: https://dl.acm.org/doi/1..
 
?
6

The Role of CSR Reporting Instruments in Increasing the Org..:

, In: Research Anthology on Developing Socially Responsible Businesses,
Cristache, Nicoleta ; Diaconu, Daniel Constantin ; Dobrea, Razvan Catalin... - p. 821-843 , 2022
Link: https://doi.org/10.4018/..
 
1-6