Related papers: Covering games using semi-open sets

First-order (FO) transition systems have recently attracted attention for the verification of parametric systems such as network protocols, software-defined networks or multi-agent workflows like conference management systems. Desirable…

Let K be an algebraically closed field of characteristic zero, endowed with a complete nonarchimedean norm. Let X be a K-rigid analytic variety and \Sigma a semianalytic subset of X. Then the closure of \Sigma in X with respect to the…

We explore a mechanism of decision-making in Mean Field Games with myopic players. At each instant, agents set a strategy which optimizes their expected future cost by assuming their environment as immutable. As the system evolves, the…

We establish that the existence of a winning strategy in certain topological games, closely related to a strong game of Choquet, played in a topological space $X$ and its hyperspace $K(X)$ of all nonempty compact subsets of $X$ equipped…

Let $X$ be a set and $2^X$ be a set of all subsets of $X$. The necessary and sufficient conditions under which a mapping $X \to 2^X$ is a closure of one-point sets in some $T_0$-space $(X, \tau)$ are described. It is proved that every…

Given a free ideal J of subsets of a set X, we consider games where player ONE plays an increasing sequence of elements of the sigma completion of J, and TWO tries to cover the union of this sequence by playing one set at a time from J. We…

We study Bayesian Persuasion with multiple senders who have access to conditionally independent experiments (and possibly others). Senders have zero-sum preferences over information revealed. We characterize when any set of states can be…

In this paper, we consider a partial observed two-person zero-sum stochastic differential game problem where the system is governed by a stochastic differential equation of mean-field type. Under standard assumptions on the coefficients,…

Additively separable hedonic games and fractional hedonic games have received considerable attention. They are coalition forming games of selfish agents based on their mutual preferences. Most of the work in the literature characterizes the…

The \emph{stationary set splitting game} is a game of perfect information of length $\omega_{1}$ between two players, \unspls and \spl, in which \unspls chooses stationarily many countable ordinals and \spls tries to continuously divide…

Assume that $\mathcal{P}$ is a topological property of a space $X$, then we say that $X$ is {\it dense-$\mathcal{P}$} if each dense subset of $X$ has the property $\mathcal{P}$. In this paper, we mainly discuss dense subsets of a space $X$,…

Absolute combinatorial game theory was recently developed as a unifying tool for constructive/local game comparison (Larsson et al. 2018). The theory concerns {\em parental universes} of combinatorial games; standard closure properties are…

This paper presents a case study for the application of semiring semantics for fixed-point formulae to the analysis of strategies in B\"uchi games. Semiring semantics generalizes the classical Boolean semantics by permitting multiple truth…

In this paper, we proved that a clopen version $S_1(C_O, C_O)$ of the Rothberger property and Borel strong measure zeroness are independent. For a zero-dimensional metric space $(X, d)$, $X$ satisfies $S_1(C_O, C_O)$ if, and only if, $X$…

Let G be a simply connected absolutely simple algebraic group defined over the field of real numbers R. Let H be a simply connected semisimple R-subgroup of G. We consider the homogeneous space X=G/H. We ask: How many connected components…

We prove a robust super-hedging duality result for path-dependent options on assets with jumps, in a continuous time setting. It requires that the collection of martingale measures is rich enough and that the payoff function satisfies some…

The aim of this paper is to show that every scattered subset of a dense-in-itself semi-$T_D$-space is nowhere dense. We are thus able to answer a recent question of Coleman in the affirmative. In terms of Digital Topology, we prove that in…

This paper covers some recent progress in the study of sg-open sets, sg-compact spaces, N-scattered spaces and some related concepts. A subset $A$ of a topological space $(X,\tau)$ is called sg-closed if the semi-closure of $A$ is included…

We prove that every two-player nonzero-sum stopping game in discrete time admits an \epsilon-equilibrium in randomized strategies for every \epsilon >0. We use a stochastic variation of Ramsey's theorem, which enables us to reduce the…

Semi-invertible multiplicative ergodic theorems establish the existence of an Oseledets splitting for cocycles of non-invertible linear operators (such as transfer operators) over an invertible base. Using a constructive approach, we…