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

DOI10.1007/978-3-540-75538-8_20zbMath1135.91328OpenAlexW1512647262MaRDI 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

Specification and verification (program logics, model checking, etc.) (68Q60) Positional games (pursuit and evasion, etc.) (91A24)

Uses Software

• NuSMV

This page was built for publication: On the Symbolic Computation of the Hardest Configurations of the RUSH HOUR Game