@misc{indiciae85c8b632e087,
  title = {A Hierarchy of Scheduler Classes for Stochastic Automata},
  author = {Pedro R. D'Argenio and Marcus Gerhold and Arnd Hartmanns and Sean Sedwards},
  year = {2017},
  url = {https://arxiv.org/abs/1710.05763},
  note = {Source identifier: 1710.05763}
}