@article{amytissparallelizedautomatedcontroller,
  title = {AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems},
  year = {2020},
  eprint = {2005.06191},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/2005.06191v1},
}