English
Related papers

Related papers: Modelling Chess in VDM++

200 papers

In chomp on graphs, two players alternatingly pick an edge or a vertex from a graph. The player that cannot move any more loses. The questions one wants to answer for a given graph are: Which player has a winning strategy? Can a explicit…

Combinatorics · Mathematics 2018-04-19 Ignacio García-Marco , Kolja Knauer , Luis Pedro Montejano

Game theory has been an effective tool in the control of disease spread and in suggesting optimal policies at both individual and area levels. In this AMS Notices article, we focus on the decision-making development for the intervention of…

Optimization and Control · Mathematics 2022-08-19 Yao Xuan , Robert Balkin , Jiequn Han , Ruimeng Hu , Hector D. Ceniceros

The limit of a sequence by the definition with $\varepsilon$ is introduced by the notion of checkmate in two moves. The idea is also extended to define the limit of a function with $\varepsilon$ and $\delta$.

History and Overview · Mathematics 2019-06-12 Zoltán Kovács

In the "Game about Squares" the task is to push unit squares on an integer lattice onto corresponding dots. A square can only be moved into one given direction. When a square is pushed onto a lattice point with an arrow the direction of the…

Computational Complexity · Computer Science 2014-08-21 Jens Maßberg

The game in which acts of participants don't have an adequate description in terms of Boolean logic and classical theory of probabilities is considered. The model of the game interaction is constructed on the basis of a non-distributive…

Quantum Physics · Physics 2007-05-23 Andrey Grib , Georges Parfionov

Context-free games are two-player rewriting games that are played on nested strings representing XML documents with embedded function symbols. These games were introduced to model rewriting processes for intensional documents in the Active…

Formal Languages and Automata Theory · Computer Science 2016-06-10 Martin Schuster

This report documents the development, test, and application of Large Language Models (LLMs) for automated text analysis, with a specific focus on gambling-like elements in digital games, such as lootboxes. The project aimed not only to…

General Economics · Economics 2024-12-13 Thomas Krause , Steffen Otterbach , Johannes Singer

Quantitative measures of randomness in games are useful for game design and have implications for gambling law. We treat the outcome of a game as a random variable and derive a closed-form expression and estimator for the variance in the…

Other Statistics · Statistics 2020-09-11 Alex Cloud , Eric Laber

Human societies engage in a number of games which use tokens as a means to allocate, issue and access gated resources and property rights: The notion of exchanging tokens that represent and carry value from the past into the future to…

Computer Science and Game Theory · Computer Science 2019-04-02 Viroshan Naicker

The traditional mathematical model for an impartial combinatorial game is defined recursively as a set of the options of the game, where the options are games themselves. We propose a model called gamegraph, together with its generalization…

Combinatorics · Mathematics 2024-11-05 Bojan Bašić , Paul Ellis , Dana C. Ernst , Danijela Popović , Nándor Sieben

Inspired by the theory of desirable gambles that is used to model uncertainty in the field of imprecise probabilities, I present a theory of desirable things. Its aim is to model a subject's beliefs about which things are desirable. What…

Artificial Intelligence · Computer Science 2023-05-12 Jasper De Bock

We show that any cooperative game can be represented by an assignment of costly facilities to players, in which it is intuitively obvious how to allocate the total cost in an equitable manner. This equitable solution turns out to be the…

Theoretical Economics · Economics 2024-01-19 Pradeep Dubey

This paper aims to study the graph radii and diameters induced by the $k$-dimensional versions of the well-known six international chess pieces on every finite $\{n \times n \times \dots \times n\} \subseteq \mathbb{Z}^k$ lattice since they…

History and Overview · Mathematics 2023-12-05 Marco Ripà

A 5x5 board is the smallest board on which one can set up all kind of chess pieces as a start position. We consider Gardner's minichess variant in which all pieces are set as in a standard chessboard (from Rook to King). This game has…

Computer Science and Game Theory · Computer Science 2013-07-29 Mehdi Mhalla , Frederic Prost

In this paper, we show that investigating the interaction of conversational type (often known as language game or speech genre) with the character types of the interlocutors is worthwhile. We present a method of calculating the decision…

Computation and Language · Computer Science 2023-07-06 Alafate Abulimiti

We consider a two player simultaneous-move game where the two players each select any permissible $n$-sided die for a fixed integer $n$. A player wins if the outcome of his roll is greater than that of his opponent. Remarkably, for $n>3$,…

Probability · Mathematics 2018-10-23 Artem Hulko , Mark Whitmeyer

[Spreadsheet] Models are invaluable tools for strategic planning. Models help key decision makers develop a shared conceptual understanding of complex decisions, identify sensitivity factors and test management scenarios. Different…

Human-Computer Interaction · Computer Science 2024-12-31 Paula Jennings

This paper examines two different variants of the Ludo game, involving multiple dice and a fixed number of total turns. Within each variant, multiple game lengths (total no. of turns) are considered. To compare the two variants, a set of…

Computer Science and Game Theory · Computer Science 2024-11-12 Tathagata Banerjee , Diganta Mukherjee

Notes on the Spinpossible puzzle game. We give a mathematical description of the game, prove some elementary bounds on the length of optimal solutions, and consider variations of the game which place restrictions on the set of permitted…

Combinatorics · Mathematics 2011-11-01 Alex Sutherland , Andrew Sutherland

In this paper, we consider the problem of finding a Nash equilibrium in a multi-player game over generally connected networks. This model differs from a conventional setting in that players have partial information on the actions of their…

Optimization and Control · Mathematics 2019-12-10 Farzad Salehisadaghiani , Wei Shi , Lacra Pavel