|title:||Economic evaluation of tooth wear using UPPAAL|
|keywords:||optimisation, UPPAAL, data sweeps|
|type:||FMT Bachelor project|
Health economical problems have become increasingly im-
portant. This research explores possibilities to nd op-
timisations of these problems when modeled in Uppaal.
The study takes the system TWES (Tooth Wear Evalua-
tion System) as a use case to bring the optimisations into