Zobrazeno 1 - 2
of 2
pro vyhledávání: '"de Vasconcelos, Davi Romero"'
Autor:
de Souza, Críston Pereira, de Araujo, Paulo Henrique Macedo, Costa, Iana Mary Gomes, de Vasconcelos, Davi Romero, Magalhães, Regis Pires
Publikováno v:
In Information Systems February 2023 112
In this work, we present a logic based on first-order CTL, namely Game Analysis Logic (GAL), in order to reason about games. We relate models and solution concepts of Game Theory as models and formulas of GAL, respectively. Precisely, we express exte
Externí odkaz:
http://arxiv.org/abs/1402.1377
