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