a4/question1.tex

   1 The Candymachine was learned using LearnLib, with the following results.
   2
   3 \begin{description}
   4         \item[Can you always insert every coin?]
   5         \item[How much do you need to pay for a single mars?]
   6         \item[How much do you need to pay for a single Snickers?]
   7         \item[How much do you need to pay for a single Bounty?]
   8         \item[Which is the minimum amount of money that you need for TWO Snickers
   9                         AND a Bounty?]
  10 \end{description}