Woep woep, 2 works for small example

[mc1516the.git] / second.tex

diff --git a/second.tex b/second.tex
index e69de29..7422751 100644 (file)
--- a/second.tex
+++ b/second.tex
@@ -0,0 +1,10 @@
+\emph{Rush Hour is a puzzle where on a 6x6 board trucks and cars are placed in
+an initial position. The goal is to move the vehicles forward and backward in
+such a way that the red car can leave the board at the exit on the right. Here
+you see a picture:. and here you find more information, including the
+possibility to play online: \url{http://thinkfun.com/products/rush-hour/}}
+
+\emph{Model the game in UPPAAL model and show how to find solutions. Make sure
+you can solve at least the following positions:}
+
+