Zobrazeno 1 - 10
of 106
pro vyhledávání: '"BENEVIDES, MARIO"'
Autor:
Machado, Vitor, Benevides, Mario
This paper introduces a logic with a class of social network models that is based on standard Linear Temporal Logic (LTL), leveraging the power of existing model checkers for the analysis of social networks. We provide a short literature overview, an
Externí odkaz:
http://arxiv.org/abs/2103.07392
This work proposes a Dynamic Epistemic Logic with Communication Actions that can be performed concurrently. Unlike Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek and Kooi, where the concurrency mechanism is the so called true concurr
Externí odkaz:
http://arxiv.org/abs/1902.01164
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming February 2022 125
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.
Autor:
Machado, Vitor, Benevides, Mario
Publikováno v:
In Electronic Notes in Theoretical Computer Science 1 March 2020 348:105-123
Publikováno v:
EPTCS 144, 2014, pp. 73-84
In this paper we describe an approach to resolve strategic games in which players can assume different types along the game. Our goal is to infer which type the opponent is adopting at each moment so that we can increase the player's odds. To achieve
Externí odkaz:
http://arxiv.org/abs/1404.0086
Publikováno v:
In Electronic Notes in Theoretical Computer Science 16 August 2019 344:67-82
Publikováno v:
In Electronic Notes in Theoretical Computer Science 16 August 2019 344:137-149
This work presents three increasingly expressive Dynamic Logics in which the programs are CCS processes (sCCS-PDL, CCS-PDL and XCCS-PDL). Their goal is to reason about properties of concurrent programs and systems described using CCS. In order to acc
Externí odkaz:
http://arxiv.org/abs/0904.0034