Stochastic games are often used to model reactive processes. We consider the problem of synthesizing an optimal almost-sure winning strategy in a two-player (namely a system and its environment) turnbased stochastic game with both a qualitative objective as a Rabin winning condition, and a quantitative objective as a discounted reward. Optimality is considered only over the almost-sure winning ...

We consider games played on an infinite probabilistic arena where the first player aims at satisfying generalized Büchi objectives almost surely, i.e., with probability one. We provide a fixpoint characterization of the winning sets and associated winning strategies in the case where the arena satisfies the finite-attractor property. From this we directly deduce the decidability of these games ...

A. We consider a class of infinite-state stochastic games generated by stateless pushdown automata (or, equivalently, 1-exit recursive state machines), where the winning objective is specified by a regular set of target configurations and a qualitative probability constraint ‘>0’ or ‘=1’. The goal of one player is to maximize the probability of reaching the target set so that the constra...

OBJECTIVE To test the effects of technique and attitude in pulling Christmas crackers. DESIGN, SETTING AND PARTICIPANTS A binomial trial conducted at a Christmas-in-July dinner party involving five anonymous dinner guests, including two of the authors. MAIN OUTCOME MEASURE Number of wins achieved by different strategies, with a win defined as securing the larger portion of the cracker. RE...

Different models to study the wealth distribution in an artificial society have considered a transactional dynamics as the driving force. Those models include a risk aversion factor, but also a finite probability of favoring the poorer agent in a transaction. Here we study the case where the partners in the transaction have a previous knowledge of the winning probability and adjust their risk a...

This note is a complementary material for the solution of optimal real-time bidding function in paper [1], where the estimated cost is taken as the bid price, i.e., the upper bound of the true cost. Here we discuss a more general bid optimisation framework with various utility and cost functions. 1 Preliminaries Define the bidding function as b(r) which returns the bid price given the estimated...

Integer player identifiers (p1, p2) are a natural and compact way to specify which players met in a game. However, logistic regression assumes that the probability of the output depends only on a linear combination of the input features. Using the (p1, p2) inputs in logistic regression would mean that the probability of player 2 winning a game would always have to be between the probabilities o...

The color of an athlete's uniform may have an effect on psychological functioning and consequently bias the chances of winning contests in sport competition. Several studies reported a winning bias for judo athletes wearing a blue outfit relative to those wearing a white outfit. However, we argue there is no winning bias and that previous studies were confounded and based on small and specific ...