Results 21 to 30 of about 28,094 (268)
Stochastic Window Mean-Payoff Games [PDF]
Logical Methods in Computer ScienceStochastic two-player games model systems with an environment that is both adversarial and stochastic. The adversarial part of the environment is modeled by a player (Player 2) who tries to prevent the system (Player 1) from achieving its objective.
Laurent Doyen +2 more
doaj +1 more source
Pairwise Stability in Two Sided Market with Strictly Increasing Valuation Functions [PDF]
Discrete Mathematics & Theoretical Computer Science, 2017 This paper deals with two-sided matching market with two disjoint sets, i.e. the set of buyers and the set of sellers. Each seller can trade with at most with one buyer and vice versa.
Yasir Ali, Asma Javaid
doaj +1 more source
With a little help from your friends: semi-cooperative games via Joker moves [PDF]
Logical Methods in Computer ScienceThis paper coins the notion of Joker games, a variant of concurrent games where the players are not strictly adversarial. Instead, Player 1 can get help from Player 2 by playing a Joker move.
Petra van den Bos, Marielle Stoelinga
doaj +1 more source
Parity Games with Weights [PDF]
Logical Methods in Computer Science, 2019 Quantitative extensions of parity games have recently attracted significant interest. These extensions include parity games with energy and payoff conditions as well as finitary parity games and their generalization to parity games with costs.
Sven Schewe +2 more
doaj +1 more source
Game Theory Meets Theoretical Computer Science
Theoretical Computer Science, 2005 Preface
Abramsky, S. +3 more
openaire +3 more sources
An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms [PDF]
Logical Methods in Computer Science, 2011 This paper presents a new exponential lower bound for the two most popular deterministic variants of the strategy improvement algorithms for solving parity, mean payoff, discounted payoff and simple stochastic games. The first variant improves every node
Oliver Friedmann
doaj +1 more source
Pure Nash Equilibria in Concurrent Deterministic Games [PDF]
Logical Methods in Computer Science, 2015 We study pure-strategy Nash equilibria in multi-player concurrent deterministic games, for a variety of preference relations. We provide a novel construction, called the suspect game, which transforms a multi-player concurrent game into a two-player turn-
Patricia Bouyer +3 more
doaj +1 more source
Playing Stochastically in Weighted Timed Games to Emulate Memory [PDF]
Logical Methods in Computer ScienceWeighted timed games are two-player zero-sum games played in a timed automaton equipped with integer weights. We consider optimal reachability objectives, in which one of the players, that we call Min, wants to reach a target location while minimising ...
Benjamin Monmege +2 more
doaj +1 more source
Game Theory Solutions in Sensor-Based Human Activity Recognition: A Review [PDF]
Journal of Artificial Intelligence and Data Mining, 2023 This paper provides a comprehensive review of the potential of game theory as a solution for sensor-based human activity recognition (HAR) challenges. Game theory is a mathematical framework that models interactions between multiple entities in various ...
Mohammad Hossein Shayesteh +2 more
doaj +1 more source
Decidability of One-Clock Weighted Timed Games with Arbitrary Weights [PDF]
Logical Methods in Computer ScienceWeighted Timed Games (WTG for short) are the most widely used model to describe controller synthesis problems involving real-time issues. Unfortunately, they are notoriously difficult, and undecidable in general.
Benjamin Monmege +2 more
doaj +1 more source