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/
}}
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:
}