TY - RPRT TI - A Hierarchy of Scheduler Classes for Stochastic Automata AU - Pedro R. D'Argenio AU - Marcus Gerhold AU - Arnd Hartmanns AU - Sean Sedwards PY - 2017 UR - https://arxiv.org/abs/1710.05763 ID - 1710.05763 ER -