E-LIB Suche - Ergebnisse für: Condurache, Rodica

1

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

2

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

3

Dynamic Multi-Agent Systems: Conceptual Framework, Automata..:

, In: PRIMA 2019: Principles and Practice of Multi-Agent Systems; Lecture Notes in Computer Science,

Condurache, Rodica ; De Masellis, Riccardo ; Goranko, Valentin - p. 106-122 , 2019

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

4

Experimental Evaluation of Acacia-K: A Tool for Synthesis o..:

, In: 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC),

Condurache, Rodica - p. 125-129 , 2018

Link: https://doi.org/10.1109/..

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

Bisimulations for Verifying Strategic Abilities with an App..:

Belardinelli, Francesco ; Condurache, Rodica ; Dima, Catalin..
http://arxiv.org/abs/2203.13692. , 2022

Link: http://arxiv.org/abs/220..

7

Careful Autonomous Agents in Environments With Multiple Com..:

Condurache, Rodica ; Dima, Catalin ; Jitaru, Madalina..
http://arxiv.org/abs/2207.09707. , 2022

Link: http://arxiv.org/abs/220..

8

Bisimulations for verifying strategic abilities with an app..:

Belardinelli, Francesco ; Condurache, Rodica ; Dima, Cătălin..
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ic.2020.104552. , 2021

Link: https://hal.science/hal-..

9

Bisimulations for verifying strategic abilities with an app..:

Belardinelli, Francesco ; Condurache, Rodica ; Dima, Cătălin..
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.ic.2020.104552. , 2021

Link: https://hal.science/hal-..

10

Dynamic Multi-Agent Systems : Conceptual Framework, Automat..:

Condurache, Rodica ; De Masellis, Riccardo ; Goranko, Valentin
Lecture Notes in Computer Science, 0302-9743. , 2019

Link: http://urn.kb.se/resolve..

11

The Complexity of Rational Synthesis for Concurrent Games:

Condurache, Rodica ; Oualhadj, Youssouf ; Troquard, Nicolas
doi:10.4230/LIPIcs.CONCUR.2018.38. , 2018

Link: https://doi.org/10.4230/..

12

The Complexity of Concurrent Rational Synthesis:

Condurache, Rodica ; Oualhadj, Youssouf ; Troquard, Nicolas
http://arxiv.org/abs/1707.06936. , 2017

Link: http://arxiv.org/abs/170..

13

Bisimulations for Verifying Strategic Abilities with an App..:

Belardinelli, Francesco ; Condurache, Rodica ; Dima, Catalin..
hal-01699927. , 2017

Link: https://hal.science/hal-..

14

Bisimulations for Verifying Strategic Abilities with an App..:

Belardinelli, Francesco ; Condurache, Rodica ; Dima, Catalin..
hal-01699927. , 2017

Link: https://hal.science/hal-..

15

The Complexity of Rational Synthesis:

Condurache, Rodica ; Filiot, Emmanuel ; GENTILINI, Raffaella.
info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-013-2. , 2016

Link: http://hdl.handle.net/11..