research
∙
07/03/2022
An Improved Algorithm for Finding the Shortest Synchronizing Words
A synchronizing word of a deterministic finite complete automaton is a w...
share
research
∙
12/14/2021
Split Moves for Monte-Carlo Tree Search
In many games, moves consist of several decisions made by the player. Th...
research
∙
06/15/2020
Efficient Reasoning in Regular Boardgames
We present the technical side of reasoning in Regular Boardgames (RBG) l...
research
∙
03/06/2020
Experimental Studies in General Game Playing: An Experience Report
We describe nearly fifteen years of General Game Playing experimental re...
research
∙
10/01/2019
A note on the empirical comparison of RBG and Ludii
We present an experimental comparison of the efficiency of three General...
research
∙
06/16/2018
Finding Short Synchronizing Words for Prefix Codes
We study the problems of finding a shortest synchronizing word and its l...
research
∙
06/08/2017
Regular Boardgames
We present an initial version of Regular Boardgames general game descrip...
research
∙
06/08/2016
Simplified Boardgames
We formalize Simplified Boardgames language, which describes a subclass ...
research
∙
08/02/2015
