Zobrazeno 1 - 10
of 252
pro vyhledávání: '"Najib Muhammad"'
Responsibility plays a key role in the development and deployment of trustworthy autonomous systems. In this paper, we focus on the problem of strategic reasoning in probabilistic multi-agent systems with responsibility-aware agents. We introduce the
Externí odkaz:
http://arxiv.org/abs/2411.00146
Autor:
Najib, Muhammad, Perelli, Giuseppe
Mechanism design is a well-established game-theoretic paradigm for designing games to achieve desired outcomes. This paper addresses a closely related but distinct concept, equilibrium design. Unlike mechanism design, the designer's authority in equi
Externí odkaz:
http://arxiv.org/abs/2408.10074
In game theory, mechanism design is concerned with the design of incentives so that a desired outcome of the game can be achieved. In this paper, we explore the concept of equilibrium design, where incentives are designed to obtain a desirable equili
Externí odkaz:
http://arxiv.org/abs/2306.03045
Autor:
Riches, Christopher, Palmowski, Jan
Publikováno v:
A Dictionary of Contemporary World History, 6 ed., 2021.
Externí odkaz:
http://www.oxfordreference.com/view/10.1093/acref/9780191890949.001.0001/acref-9780191890949-e-1610
Autor:
Riches, Christopher, Palmowski, Jan
Publikováno v:
A Dictionary of Contemporary World History, 5 ed., 2019.
Externí odkaz:
http://www.oxfordreference.com/view/10.1093/acref/9780191870903.001.0001/acref-9780191870903-e-1610
Autor:
Riches, Christopher, Palmowski, Jan
Publikováno v:
A Dictionary of Contemporary World History, 4 ed., 2016.
Externí odkaz:
http://www.oxfordreference.com/view/10.1093/acref/9780191802997.001.0001/acref-9780191802997-e-1610
Rational verification refers to the problem of checking which temporal logic properties hold of a concurrent multiagent system, under the assumption that agents in the system choose strategies that form a game-theoretic equilibrium. Rational verifica
Externí odkaz:
http://arxiv.org/abs/2207.02637
Publikováno v:
In Computational and Theoretical Chemistry August 2024 1238
Autor:
Palmowski, Jan
Publikováno v:
A Dictionary of Contemporary World History, 3 ed., 2008.
Externí odkaz:
http://www.oxfordreference.com/view/10.1093/acref/9780199295678.001.0001/acref-9780199295678-e-1610
Rational verification is the problem of determining which temporal logic properties will hold in a multi-agent system, under the assumption that agents in the system act rationally, by choosing strategies that collectively form a game-theoretic equil
Externí odkaz:
http://arxiv.org/abs/2107.09119