@misc{indiciaedd86d919e262,
  title = {Markov Automata with Multiple Objectives},
  author = {Tim Quatmann and Sebastian Junges and Joost-Pieter Katoen},
  year = {2017},
  url = {https://arxiv.org/abs/1704.06648},
  note = {Source identifier: 1704.06648}
}