In multi-agent (multi-robot) environment each agent tries to reach its own goal and it implies that in most cases the agent goals conflict. Under some assumptions such problems can be modelled as a STRIPS system (for instance Block World environment) with one initial state and disjunction of goal states. If STRIPS planning problem is invertible then it is possible to apply machinery for plannin...

We discuss the synergy between voluntary prevention and mandatory treatment, in the saga of disease elimination. Previous literature has focused on the situation where the relative cost of prevention versus treatment stands as a surrogate for epidemic severity. In this work, we address the case where this cost is regulated by the public health authority to optimize epidemic control. We build a ...

The aim of the paper is to propose a game-theoretic description of strategies available to players in dialogues. We show how existing dialogical systems can be formalized as Nash-style games, and how the game-theoretic concept of solutions (dominant strategies, Nash equilibrium) can be used to analyse these systems. Our first study, discussed in this article, describes the game DC introduced by...

The goal of this paper is to study pricing of differentiated services and its impact on the choice of service priority at equilibrium. We consider both TCP connections as well as non controlled (real time) connections. The performance measures (such as throughput and loss rates) are determined according to the operational parameters of a RED (Random Early Discard) buffer management. The latter ...

In this paper, we view the Internet under a game-theoretic lens in an effort to explain and overcome the Internet’s innovation slump. Game Theory is used to model Internet environments as problems of technological competition toward the end of understanding their emergent phenomena and the evolutionary forces that shape them. However, our results extend beyond understanding the Internet archite...

Non-orthogonal multiple access (NOMA) can improve the spectral efficiency by exploiting the power domain and successive interference cancellation (SIC), and it can be applied to various transmission schemes including random access that plays a crucial role in the Internet of Things (IoT) to support connectivity for a number of devices with sparse activity. In this paper, we formulate a game whe...

We shed light on the connections between different approaches to constraint satisfaction by showing that the main consistency concepts used to derive tractability results for constraint satisfaction are intimately related to certain combinatorial pebble games, called the existential k-pebble games, that were originally introduced in the context of Datalog. The crucial insight relating pebble ga...

Maintenance management is the effective and economical use of resources to keep equipment in, or restore it to, a serviceable condition. In this paper, maintenance considerations are introduced during product design using a game theoretic approach. Specifically, a product designer and a maintenance manager are modeled as two players in a Leader–Follower game, and strategies for designing produc...

Courcelle’s Theorem states that every problem definable in Monadic SecondOrder logic can be solved in linear time on structures of bounded treewidth, for example, by constructing a tree automaton that recognizes or rejects a tree decomposition of the structure. Existing, optimized software like the MONA tool can be used to build the corresponding tree automata, which for bounded treewidth are o...