E-LIB Suche - Ergebnisse für: Murano, Aniello

1

On the Complexity of Model Checking Knowledge and Time:

Bozzelli, Laura ; Maubert, Bastien ; Murano, Aniello
ACM Transactions on Computational Logic. 25 (2024) 1 - p. 1-42 , 2024

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

2

Parking Problem with Multiple Gates:

, In: Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection; Lecture Notes in Computer Science,

Noviello, Francesco ; Mittelmann, Munyque ; Murano, Aniello. - p. 213-224 , 2023

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

3

HYASM: A Tool to Verify Hierarchical Systems:

, In: 2023 IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE),

Ferrando, Angelo ; Malvone, Vadim ; Murano, Aniello. - p. 1-6 , 2023

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

4

Logical aspects of multi-agent systems: Preface:

Maubert, Bastien ; Murano, Aniello ; Rubin, Sasha
Annals of Mathematics and Artificial Intelligence. 91 (2023) 4 - p. 373-374 , 2023

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

5

Multi-Agent Systems: 20th European Conference, EUMAS 2023, ..

Lecture Notes in Artificial Intelligence, 14282

Malvone, Vadim ; Murano, Aniello - 1st ed. 2023 . , 2023

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

6

Robust Alternating-Time Temporal Logic:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,

Murano, Aniello ; Neider, Daniel ; Zimmermann, Martin - p. 796-813 , 2023

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

7

Reasoning about Quality and Fuzziness of Strategic Behavior:

Bouyer, Patricia ; Kupferman, Orna ; Markey, Nicolas...
ACM Transactions on Computational Logic. 24 (2023) 3 - p. 1-38 , 2023

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

8

Context-free timed formalisms: Robust automata and linear t..:

Bozzelli, Laura ; Murano, Aniello ; Peron, Adriano
Information and Computation. 283 (2022) - p. 104673 , 2022

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

9

Verification of agent navigation in partially-known environ..:

Aminof, Benjamin ; Murano, Aniello ; Rubin, Sasha.
Artificial Intelligence. 308 (2022) - p. 103724 , 2022

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

10

Preface:

van der Hoek, Wiebe ; Maubert, Bastien ; Murano, Aniello.
Information and Computation. 276 (2021) - p. 104551 , 2021

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

11

Strategy Logic with Imperfect Information:

Berthon, Raphaël ; Maubert, Bastien ; Murano, Aniello..
ACM Transactions on Computational Logic (TOCL). 22 (2021) 1 - p. 1-51 , 2021

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

12

Strategy Logic with Imperfect Information:

Berthon, Raphaël ; Maubert, Bastien ; Murano, Aniello..
ACM Transactions on Computational Logic. 22 (2021) 1 - p. 1-51 , 2021

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

13

Improving parity games in practice:

Di Stasio, Antonio ; Murano, Aniello ; Prignano, Vincenzo.
Annals of Mathematics and Artificial Intelligence. 89 (2021) 5-6 - p. 551-574 , 2021

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

14

Preface:

Murano, Aniello ; Rubin, Sasha
Theoretical Computer Science. 815 (2020) - p. 246 , 2020

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

15

Alternating Tree Automata with Qualitative Semantics:

Berthon, Raphaël ; Fijalkow, Nathanaël ; Filiot, Emmanuel...
ACM Transactions on Computational Logic (TOCL). 22 (2020) 1 - p. 1-24 , 2020

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