Zobrazeno 1 - 10
of 85
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
Publikováno v:
Logical Methods in Computer Science, Volume 20, Issue 4 (December 4, 2024) lmcs:11435
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:
Rashad Jabarkheel, Lun Li, Maxwell Frankfurter, Daniel Y. Zhang, Avi Gajjar, Najib Muhammad, Visish M. Srinivasan, Jan-Karl Burkhardt, Mark Kahn
Publikováno v:
Frontiers in Surgery, Vol 11 (2024)
Brain arteriovenous malformations (AVMs) are vascular lesions characterized by abnormal connections between parenchymal arteries and veins, bypassing a capillary bed, and forming a nidus. Brain AVMs are consequential as they are prone to rupture and
Externí odkaz:
https://doaj.org/article/acae64a62a1542f8abdb059480850807
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