A Hierarchy of Scheduler Classes for Stochastic Automata.

Pedro R. D'Argenio, Marcus Gerhold, Arnd Hartmanns, Sean Sedwards

Browse the full FOSSACS paper archive.