second.tex

   1 \emph{Rush Hour is a puzzle where on a 6x6 board trucks and cars are placed in
   2 an initial position. The goal is to move the vehicles forward and backward in
   3 such a way that the red car can leave the board at the exit on the right. Here
   4 you see a picture:. and here you find more information, including the
   5 possibility to play online: \url{http://thinkfun.com/products/rush-hour/}}
   6
   7 \emph{Model the game in UPPAAL model and show how to find solutions. Make sure
   8 you can solve at least the following positions:}
   9
  10