14 citations · 48 across the 18 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.AI2016★ 1 cited
Simplified Boardgames
Jakub Kowalski, Jakub Sutowicz, Marek Szykuła
We formalize Simplified Boardgames language, which describes a subclass of arbitrary board games. The language structure is based on the regular expressions, which makes the rules…
cs.FL2016★ 5 cited
Experiments with Synchronizing Automata
Andrzej Kisielewicz, Jakub Kowalski, Marek Szykuła
We have improved an algorithm generating synchronizing automata with a large length of the shortest reset words. This has been done by refining some known results concerning bounds…