Search Results - "Algorithmic Game Theory and Mechanism Design"

HIFI: Explaining and Mitigating Algorithmic Bias Through the Lens of Game-Theoretic Interactions by Zhang, Lingfeng, Wang, Zhaohui, Zhang, Yueling, Zhang, Min, Wang, Jiangtao

“…Machine Learning (ML) algorithms are increasingly used in decision-making process across various social-critical domains, but they often somewhat inherit and…”
Get full text

Comonadic semantics for guarded fragments by Abramsky, Samson, Marsden, Dan

“…In previous work ([1], [2], [3]), it has been shown how a range of model comparison games which play a central role in finite model theory, including…”
Get full text

Multi-Structural Games and Number of Quantifiers by Fagin, Ronald, Lenchner, Jonathan, Regan, Kenneth W., Vyas, Nikhil

“…We study multi-structural games, played on two sets {\mathcal{A}} and {\mathcal{B}} of structures. These games generalize Ehrenfeucht-Fraïssé games. Whereas…”
Get full text

Asynchronous Template Games and the Gray Tensor Product of 2-Categories by Mellies, Paul-Andre

“…In his recent and exploratory work on template games and linear logic, Melliès defines sequential and concurrent games as categories with positions as objects…”
Get full text

System Component-Level Self-Adaptations for Security via Bayesian Games by Zhang, Mingyue

“…Security attacks present unique challenges to self-adaptive system design due to the adversarial nature of the environment. However, modeling the system as a…”
Get full text

Compositional relational reasoning via operational game semantics by Jaber, Guilhem, Murawski, Andrzej S.

“…We show how to use operational game semantics as a guide to develop relational techniques for establishing contextual equivalences with respect to contexts…”
Get full text

Inapproximability of Unique Games in Fixed-Point Logic with Counting by Tucker-Foltz, Jamie

“…We study the extent to which it is possible to approximate the optimal value of a Unique Games instance in Fixed-Point Logic with Counting (FPC). We prove two…”
Get full text

Auto-tuning Spark big data workloads on POWER8: Prediction-based dynamic SMT threading by Zhen Jia, Chao Xue, Guancheng Chen, Jianfeng Zhan, Lixin Zhang, Yonghua Lin, Hofstee, Peter

“…Much research work devotes to tuning big data analytics in modern data centers, since even a small percentage of performance improvement immediately translates…”
Get full text

A novel individually rational objective in multi-agent multi-armed bandits: Algorithms and regret bounds by Tossou, Aristide, Dimitrakakis, Christos, Rzepecki, Jaroslaw, Hofmann, K.

“…We study a two-player stochastic multi-armed bandit (MAB) problem with different expected rewards for each player, a generalisation of two-player general sum…”
Get full text

Game-Theoretic Modeling of Human Adaptation in Human-Robot Collaboration by Nikolaidis, Stefanos, Nath, Swaprava, Procaccia, Ariel D., Srinivasa, Siddhartha

“…In human-robot teams, humans often start with an inaccurate model of the robot capabilities. As they interact with the robot, they infer the robot's…”
Get full text

Defining Winning Strategies in Fixed-Point Logic by Canavoi, Felix, Gradel, Erich, Lessenich, Simon, Pakusa, Wied

“…We study definability questions for positional winning strategies in infinite games on graphs. The quest for efficient algorithmic constructions of winning…”
Get full text

What if Autonomous Systems Had a Game Master? Targeted Explaining With the Help of a Supervisory Control System by Bairy, Akhila, Franzle, Martin

“…In the era of increasing automation, systems are making more autonomous decisions than ever before, often leading to conflicts with other systems. In…”
Get full text

Federated Node Classification over Distributed Ego-Networks with Secure Contrastive Embedding Sharing by Xie, Han, Xiong, Li, Yang, Carl

“…Federated learning on graphs (a.k.a., federated graph learning- FGL) has recently received increasing attention due to its capacity to enable collaborative…”
Get more information

Strategic Considerations for Neuromorphic Computing by Vineyard, Craig M., Severa, William M., Aimone, James B.

“…Co-design is a prominent topic presently in computing, speaking to the mutual benefit of coordinating design choices of several layers in the technology stack…”
Get full text

On Fighting Fire with Fire: Strategic Destabilization of Terrorist Networks by Behzadan, Vahid, Nourmohammadi, Amin, Gunes, Mehmet, Yuksel, Murat

“…Terrorist organizations have social networks that enable them to recruit and operate around the world. This paper presents a novel computational framework for…”
Get full text

In This Apportionment Lottery, the House Always Wins by Gölz, Paul, Peters, Dominik, Procaccia, Ariel

Get full text

Using Behavioural Programming with Solver, Context, and Deep Reinforcement Learning for Playing a Simplified RoboCup-Type Game by Elyasaf, Achiya, Sadon, Aviran, Weiss, Gera, Yaacov, Tom

“…We describe four scenario-based implementations of controllers for a player in a simplified RoboCup-type game. All four implementations are based on the…”
Get full text

Resource and Revenue Sharing with Coalition Formation of Cloud Providers: Game Theoretic Approach by Niyato, D., Vasilakos, A. V., Zhu Kun

“…In cloud computing, multiple cloud providers can cooperate to establish a resource pool to support internal users and to offer services to public cloud users…”
Get full text

Markov decision process routing games by Calderone, Dan, Sastry, S. Shankar

“…We explore an extension of nonatomic routing games that we call Markov decision process routing games where each agent chooses a transition policy between…”
Get full text

On the Robustness of Influence Maximization Algorithms against Non-Adversarial Perturbations by Tsugawa, Sho, Ohsaki, Hiroyuki

“…Influence maximization is a combinatorial optimization problem on a graph: Given a social network, an influence maximization algorithm aims to find a set of…”
Get full text