Zobrazeno 1 - 10
of 80
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
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
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
Publikováno v:
Vol. 140, 2019, 22:1--22:16
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 study the design of incentives so that a desirable equilibrium is obtained, for instance, an equilibr
Externí odkaz:
http://arxiv.org/abs/2106.10192
Parameterized synthesis offers a solution to the problem of constructing correct and verified controllers for parameterized systems. Such systems occur naturally in practice (e.g., in the form of distributed protocols where the amount of processes is
Externí odkaz:
http://arxiv.org/abs/2009.13459
In the context of multi-agent systems, the rational verification problem is concerned with checking which temporal logic properties will hold in a system when its constituent agents are assumed to behave rationally and strategically in pursuit of ind
Externí odkaz:
http://arxiv.org/abs/2008.05638
Autor:
Mulyati, Ahda1 ahdamulyati@gmail.com, Najib, Muhammad1 mnajibasrum@gmail.com, Yamin Astha, A. M.1 Irmuhammadyaminasthamsi@gmail.com
Publikováno v:
Devotion: Journal of Research & Community Service. Feb2024, Vol. 5 Issue 2, p213-221. 9p.