English
Related papers

Related papers: Modelling Chess in VDM++

200 papers

The emergence of complex structures in the systems governed by a simple set of rules is among the most fascinating aspects of Nature. The particularly powerful and versatile model suitable for investigating this phenomenon is provided by…

Adaptation and Self-Organizing Systems · Physics 2023-10-11 Jarosław Adam Miszczak

This paper investigates the Tennis Momentum Model (TMM), which aims to enhance the understanding of match dynamics by integrating key factors such as efficiency, historical scoring probabilities, and real-time scoring data. The model is…

Applications · Statistics 2025-09-30 Jackson Graves , Daniel X. Guo , Ridge Shepherd , Alexander Young

Poker is one of the most popular card games, whose rational investigation represents also one of the major challenges in several scientific areas, spanning from information theory and artificial intelligence to game theory and statistical…

Physics and Society · Physics 2015-03-05 Marco Alberto Javarone

As Machine Learning (ML) systems becomes more ubiquitous, ensuring the fair and equitable application of their underlying algorithms is of paramount importance. We argue that one way to achieve this is to proactively cultivate public…

Computers and Society · Computer Science 2020-04-22 Eric Chu , Nabeel Gillani , Sneha Priscilla Makini

Purpose: We propose a model to present a possible mechanism for obtaining sizeable behavioural structures by simulating an agent based on the evolutionary public good game with available social learning. Methods: The model considered a…

Computer Science and Game Theory · Computer Science 2019-10-29 Chulwook Park

Game theory is the study of tractable games which may be used to model more complex systems. Board games, video games and sports, however, are intractable by design, so "ludological" theories about these games as complex phenomena should be…

Applications · Statistics 2018-11-05 Daniel E. Gilbert , Martin T. Wells

There are few digital tools to help designers create game mechanics. A general language to express game mechanics is necessary for rapid game design iteration. The first iteration of a mechanics-focused language, together with its…

Programming Languages · Computer Science 2019-04-09 Rokas Volkovas , Michael Fairbank , John Woodward , Simon Lucas

A player plays a game by sending messages into the game world using an interaction technique. These messages are then translated into actions performed on or by game objects towards achieving the game's objectives. A game's interaction…

Human-Computer Interaction · Computer Science 2021-06-29 Misbahu S. Zubair , Salim Muhammad

This paper introduces a collection of board games specifically chosen to serve as a basis for programming exercises. We examine the attractiveness of board games in this context as well as features that make a particular game a good…

Human-Computer Interaction · Computer Science 2022-08-02 Maxim Mozgovoy , Marina Purgina

Playing video games requires perception, memory, and planning, exactly the faculties modern large language model (LLM) agents are expected to master. We study the major challenges in using popular video games to evaluate modern LLMs and…

Artificial Intelligence · Computer Science 2025-06-04 Lanxiang Hu , Mingjia Huo , Yuxuan Zhang , Haoyang Yu , Eric P. Xing , Ion Stoica , Tajana Rosing , Haojian Jin , Hao Zhang

Mastering games is a hard task, as games can be extremely complex, and still fundamentally different in structure from one another. While the AlphaZero algorithm has demonstrated an impressive ability to learn the rules and strategy of a…

Machine Learning · Computer Science 2024-11-01 Tomas Rigaux , Hisashi Kashima

We introduce a two player game on an n x n chessboard where queens are placed by alternating turns on a chessboard square whose availability is determined by the number of queens already on the board which can attack that square modulo two.…

Combinatorics · Mathematics 2015-10-13 Tricia Muldoon Brown , Abrahim Ladha

Game semantics is a rich and successful class of denotational models for programming languages. Most game models feature a rather intuitive setup, yet surprisingly difficult proofs of such basic results as associativity of composition of…

Logic in Computer Science · Computer Science 2017-11-30 Clovis Eberhart , Tom Hirschowitz

The deduction game is a variation of the game of cops and robber on graphs in which searchers must capture an invisible evader in at most one move. Searchers know each others' initial locations, but can only communicate if they are on the…

Combinatorics · Mathematics 2024-12-24 Andrea Burgess , Danny Dyer , Mozhgan Farahani

In this note, we investigate combinatorial games where both players move randomly (each turn, independently selecting a legal move uniformly at random). In this model, we provide closed-form expressions for the expected number of turns in a…

Combinatorics · Mathematics 2024-01-31 Pat Devlin , Paulina Trifonova

Standard game theory assumes that the structure of the game is common knowledge among players. We relax this assumption by considering extensive games where agents may be unaware of the complete structure of the game. In particular, they…

Computer Science and Game Theory · Computer Science 2007-05-23 Joseph Y. Halpern , Leandro C. Rêgo

Infinite chess is chess played on an infinite edgeless chessboard. The familiar chess pieces move about according to their usual chess rules, and each player strives to place the opposing king into checkmate. The mate-in-n problem of…

Logic · Mathematics 2012-05-17 Dan Brumleve , Joel David Hamkins , Philipp Schlicht

This paper introduced a pursuit and evasion game to be played on a connected graph. One player moves invisibly around the graph, and the other player must guess his position. At each time step the second player guesses a vertex, winning if…

Combinatorics · Mathematics 2017-01-24 John Haslegrave

The swift evolution of Large-scale Models (LMs), either language-focused or multi-modal, has garnered extensive attention in both academy and industry. But despite the surge in interest in this rapidly evolving area, there are scarce…

Artificial Intelligence · Computer Science 2024-03-18 Xinrun Xu , Yuxin Wang , Chaoyi Xu , Ziluo Ding , Jiechuan Jiang , Zhiming Ding , Börje F. Karlsson

Predicting player behavior in strategic games, especially complex ones like chess, presents a significant challenge. The difficulty arises from several factors. First, the sheer number of potential outcomes stemming from even a single…

Machine Learning · Computer Science 2025-04-09 Benny Skidanov , Daniel Erbesfeld , Gera Weiss , Achiya Elyasaf
‹ Prev 1 3 4 5 6 7 10 Next ›