Group allocation tool

Group allocation is a process which takes place many times during a regular academic year in the School. Examples include groupwork projects, tutorial allocations, marker assignments, etc. Selecting optimal groups is a difficult problem because there are many constraints, such as balancing skills and interests, avoiding certain groupings (e.g. not repeating the same partner during […]

Continue reading

Medications at what cost?

Timed Automata (TA), first introduced by Alur and Dill [1], is now a standard modeling formalism for describing the behaviour of real-time systems. Several mature automated model checking tools exist (e.g. Kronos, Uppaal) and have been applied to the quantitative analysis of numerous industrial case-studies. Priced Timed Automata (PricedTA) [2] extend timed automata with further […]

Continue reading