1 citations · 1 across the 3 of their papers we have counts for
4 papers
Quoridor is PSPACE-Complete
Marius Drop, Benjamin G. Rin, Finn van der Velde
Quoridor is an award-winning abstract strategy game designed by Mirko Marchesi and published in 1997. Similar games include Maze Attack, Blockade (also known as Cul-de-sac), and Pi…
Hive is PSPACE-Hard
Daniël Andel, Benjamin Rin
Hive is an abstract strategy game played on a table with hexagonal pieces. First published in 2001, it was and continues to be highly popular among both casual and competitive play…
Reachability for infinite time Turing machines with long tapes
Merlin Carl, Benjamin Rin, Philipp Schlicht
Infinite time Turing machine models with tape length , denoted , strengthen the machines of Hamkins and Kidder [HL00] with tape length . A new phenomenon is that for som…
Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction
Benjamin G. Rin, Sean Walsh
A semantics for quantified modal logic is presented that is based on Kleene's notion of realizability. This semantics generalizes Flagg's 1985 construction of a model of a modal ve…