English
Related papers

Related papers: Characterising Probabilistic Alternating Simulatio…

200 papers

We consider a distributed non cooperative control setting in which systems are interconnected via state constraints. Each of these systems is governed by an agent which is responsible for exchanging information with its neighbours and…

Optimization and Control · Mathematics 2015-03-19 Jürgen Pannek

We consider the problem of learning a non-deterministic probabilistic system consistent with a given finite set of positive and negative tree samples. Consistency is defined with respect to strong simulation conformance. We propose learning…

Logic in Computer Science · Computer Science 2012-07-24 Anvesh Komuravelli , Corina S. Pasareanu , Edmund M. Clarke

We consider a class of games that are generalizations of the minority game, in that the demand and supply of the resource are specified independently. This allows us to study systems in which agents compete under different demand loads.…

Adaptation and Self-Organizing Systems · Physics 2009-11-07 R. Savit , S. A. Brueckner , H. V. D. Parunak , J. Sauter

We consider a class of games that are generalizations of the minority game, in that the demand and supply of the resource are specified independently. This allows us to study systems in which agents compete for a resource under different…

Adaptation and Self-Organizing Systems · Physics 2007-05-23 Robert Savit , Sven A. Brueckner , H. Van Dyke Parunak , John Sauter

Before we combine actions and probabilities two very obvious questions should be asked. Firstly, what does "the probability of an action" mean? Secondly, how does probability interact with nondeterminism? Neither question has a single…

Software Engineering · Computer Science 2011-06-22 Steve Reeves , David Streader

The horizontal dynamics of a bouncing ball interacting with an irregular surface is investigated and is found to demonstrate behavior analogous to a random walk. Its stochastic character is substantiated by the calculation of a permutation…

Physics Education · Physics 2025-09-15 Luiz Antonio Barreiro

Coalition Logic is an important logic in logical studies of strategic reasoning, whose models are concurrent game models. In this paper, first, we systematically discuss three assumptions of concurrent game models and argue that they are…

Logic in Computer Science · Computer Science 2025-09-12 Yinfeng Li , Fengkui Ju

Stochastic games are an important class of problems that generalize Markov decision processes to game theoretic scenarios. We consider finite state two-player zero-sum stochastic games over an infinite time horizon with discounted rewards.…

Optimization and Control · Mathematics 2008-06-17 Parikshit Shah , Pablo A. Parrilo

This paper considers a class of reinforcement-based learning (namely, perturbed learning automata) and provides a stochastic-stability analysis in repeatedly-played, positive-utility, finite strategic-form games. Prior work in this class of…

Computer Science and Game Theory · Computer Science 2019-01-29 Georgios C. Chasparis

To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision variables (which we can set) and stochastic variables…

Artificial Intelligence · Computer Science 2009-03-09 Toby Walsh

Randomized mechanisms can have good normative properties compared to their deterministic counterparts. However, randomized mechanisms are problematic in several ways such as in their verifiability. We propose here to derandomize such…

Computer Science and Game Theory · Computer Science 2024-05-16 Toby Walsh

The notions of symmetry and anonymity in strategic games have been formalized in different ways in the literature. We propose a combinatorial framework to analyze these notions, using group actions. Then, the same framework is used to…

Combinatorics · Mathematics 2021-03-19 Fernando Tohmé , Ignacio Viglizzo

We introduce a new class of games where each player's aim is to randomise her strategic choices in order to affect the other players' expectations aside from her own. The way each player intends to exert this influence is expressed through…

Computer Science and Game Theory · Computer Science 2014-04-04 Lluís Godo , Enrico Marchioni

In the naming game, individuals or agents exchange pairwise local information in order to communicate about objects in their common environment. The goal of the game is to reach a consensus about naming these objects. Originally used to…

Multiagent Systems · Computer Science 2009-12-24 Reginaldo J. da Silva Filho , Matthias R. Brust , Carlos H. C. Ribeiro

The paper studies one-shot two-player games with non-Bayesian uncertainty. The players have an attitude that ranges from optimism to pessimism in the face of uncertainty. Given the attitudes, each player forms a belief about the set of…

Computer Science and Game Theory · Computer Science 2015-03-13 Jiwoong Lee , Jean Walrand

We develop methods to formally describe and compare games, in order to probe questions of game structure and design, and as a stepping stone to predicting player behavior from design patterns. We define a grammar-like formalism to describe…

Logic in Computer Science · Computer Science 2021-01-05 Paul Riggins , David McPherson

In dynamic noncooperative games, each player makes conjectures about other players' reactions before choosing a strategy. However, resulting equilibria may be multiple and do not always lead to desirable outcomes. These issues are typically…

Computer Science and Game Theory · Computer Science 2025-11-24 Francesco Morri , Hélène Le Cadre , David Salas , Didier Aussel

We present a novel variant of fictitious play dynamics combining classical fictitious play with Q-learning for stochastic games and analyze its convergence properties in two-player zero-sum stochastic games. Our dynamics involves players…

Computer Science and Game Theory · Computer Science 2022-06-03 Muhammed O. Sayin , Francesca Parise , Asuman Ozdaglar

Interface theories are powerful frameworks supporting incremental and compositional design of systems through refinements and constructs for conjunction, and parallel composition. In this report we present a first Interface Theor -- |Modal…

Logic in Computer Science · Computer Science 2020-11-19 Albert Benveniste , Kim Larsen , Jean-Baptiste Raclet

Traditionally social sciences are interested in structuring people in multiple groups based on their individual preferences. This pa- per suggests an approach to this problem in the framework of a non- cooperative game theory. Definition of…

Optimization and Control · Mathematics 2017-05-02 Dmitry Levando