E-LIB Suche - Ergebnisse für: Dima, Catalin

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

Formal Modeling and Analysis of Timed Systems: 19th Interna..

Theoretical Computer Science and General Issues, 12860

Dima, Catalin ; Shirmohammadi, Mahsa - 1st ed. 2021 . , 2021

Link: https://doi.org/10.1007/..

4

Bisimulations for verifying strategic abilities with an app..:

Belardinelli, Francesco ; Condurache, Rodica ; Dima, Cătălin..
Information and Computation. 276 (2021) - p. 104552 , 2021

Link: https://doi.org/10.1016/..

5

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..

6

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..

7

Relating Paths in Transition Systems: The Fall of the Modal..:

Dima, Catalin ; Maubert, Bastien ; Pinchinat, Sophie
ACM Transactions on Computational Logic. 19 (2018) 3 - p. 1-33 , 2018

Link: https://doi.org/10.1145/..

8

Relating Paths in Transition Systems : The Fall of the M..:

Dima, Catalin ; Maubert, Bastien ; Pinchinat, Sophie
ACM Transactions on Computational Logic (TOCL). 19 (2018) 3 - p. 1-33 , 2018

Link: https://dl.acm.org/doi/1..

9

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..

10

Sofic-Dyck shifts:

Béal, Marie-Pierre ; Blockelet, Michel ; Dima, Cǎtǎlin
Theoretical Computer Science. 609 (2016) - p. 226-244 , 2016

Link: https://doi.org/10.1016/..

11

Verification of EB3 specifications using CADP:

Vekris, Dimitris ; Lang, Frédéric ; Dima, Catalin.
Formal Aspects of Computing. 28 (2016) 1 - p. 145-178 , 2016

Link: https://doi.org/10.1007/..

12

Asymptotic behaviour in temporal logic:

, In: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Asarin, Eugene ; Blockelet, Michel ; Degorre, Aldric.. - p. 1-9 , 2014

Link: https://dl.acm.org/doi/1..

13

MODEL-CHECKING ALTERNATING-TIME TEMPORAL LOGIC WITH STRATEG..:

Diaconu, Raluca ; Dima, Cătălin
Applied Artificial Intelligence. 26 (2012) 4 - p. 331-348 , 2012

Link: https://doi.org/10.1080/..

14

A study on shuffle, stopwatches and independently evolving ..:

Dima, Cătălin ; Lanotte, Ruggero
Distributed Computing. 25 (2011) 1 - p. 5-33 , 2011

Link: https://doi.org/10.1007/..

15

An alternating-time temporal logic with knowledge, perfect ..:

Guelev, Dimitar P. ; Dima, Catalin ; Enea, Constantin
Journal of Applied Non-Classical Logics. 21 (2011) 1 - p. 93-131 , 2011

Link: https://doi.org/10.3166/..