Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
This lecture presents a snack dispenser system with 6 levels, 4 slots each, holding 10 items per slot. The machine operates by inserting 1 CHF coin twice, then selecting a snack. The stable coin storage can hold up to 500 CHF. The transition system is described, and the cardinality of all states is estimated. The lecture explores if the stable storage can hold 99, 100, or 490 coins.