Zobrazeno 1 - 10
of 81
pro vyhledávání: '"Perelli, G"'
Publikováno v:
Acta Informatica 53 (2016) 587-619
Model checking is a powerful method widely explored in formal verification. Given a model of a system, e.g., a Kripke structure, and a formula specifying its expected behaviour, one can verify whether the system meets the behaviour by checking the fo
Externí odkaz:
http://arxiv.org/abs/1601.03195
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Scopus-Elsevier
We propose a formalism to model and reason about multi-agent systems. We allow agents to interact and communicate in different modes so that they can pursue joint tasks; agents may dynamically synchronize, exchange data, adapt their behaviour, and re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1202984d804dae89955af5b2d630f591
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
In Rational Synthesis, we consider a multi-agent system in which some of the agents are controllable and some are not. All agents have objectives, and the goal is to synthesize strategies for the controllable agents so that their objectives are satis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1064::db0467fb796c53f7c3625f854de64f2a
https://doi.org/10.24963/ijcai.2018/5
https://doi.org/10.24963/ijcai.2018/5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Game theory provides a well-established framework for the analysis of concurrent and multi-agent systems. The basic idea is that concurrent processes (agents) can be understood as corresponding to players in a game; plays represent the possible compu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::877bd885dbb429af510bbc99857b0c8e
https://ora.ox.ac.uk/objects/uuid:0e299546-9538-404e-9c56-fa4760cf8915
https://ora.ox.ac.uk/objects/uuid:0e299546-9538-404e-9c56-fa4760cf8915
Linear Dynamic Logic on finite traces (LDLF ) is a powerful logic for reasoning about the behaviour of concurrent and multi-agent systems. In this paper, we investigate techniques for both the characterisation and verification of equilibria in multi-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1064::7fb05245e83cac44d9ab4e996fc21a6d
https://ora.ox.ac.uk/objects/uuid:fe70e3ef-8be4-4c2e-8c7c-206a4f13edae
https://ora.ox.ac.uk/objects/uuid:fe70e3ef-8be4-4c2e-8c7c-206a4f13edae
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.