On the Symbolic Computation of the Hardest Configurations of the RUSH HOUR Game

DOI10.1007/978-3-540-75538-8_20zbMath1135.91328MaRDI QIDQ5434468

Frédéric Servais, Sébastien Collette, Jean-François Raskin

Publication date: 4 January 2008

Published in: Computers and Games (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75538-8_20

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

91A24: Positional games (pursuit and evasion, etc.)

Uses Software

• NuSMV