1 citations · 1 across the 3 of their papers we have counts for
7 papers
Efficient Reasoning in Regular Boardgames
Jakub Kowalski, Radosław Miernik, Maksymilian Mika +4
We present the technical side of reasoning in Regular Boardgames (RBG) language -- a universal General Game Playing (GGP) formalism for the class of finite deterministic games with…
Experimental Studies in General Game Playing: An Experience Report
Jakub Kowalski, Marek Szykuła
We describe nearly fifteen years of General Game Playing experimental research history in the context of reproducibility and fairness of comparisons between various GGP agents and…
A note on the empirical comparison of RBG and Ludii
Jakub Kowalski, Maksymilian Mika, Jakub Sutowicz +1
We present an experimental comparison of the efficiency of three General Game Playing systems in their current versions: Regular Boardgames (RBG 1.0), Ludii~0.3.0, and a Game Descr…
The Frobenius and factor universality problems of the Kleene star of a finite set of words
Maksymilian Mika, Marek Szykuła
We solve open problems concerning the Kleene star of a finite set of words over an alphabet . The \emph{Frobenius monoid} problem is the question for a given finite se…
Finding Short Synchronizing Words for Prefix Codes
Andrew Ryzhikov, Marek Szykuła
We study the problems of finding a shortest synchronizing word and its length for a given prefix code. This is done in two different settings: when the code is defined by an arbitr…
The Černý conjecture for small automata: experimental report
Jakub Kowalski, Marek Szykuła
We present a report from a series of experiments involving computation of the shortest reset words for automata with small number of states. We confirm that the Černý conjecture is…