@misc{indiciae0af6d543d57e,
  title = {Near Optimal Task Graph Scheduling with Priced Timed Automata and Priced Timed Markov Decision Processes},
  author = {Anne Ejsing and Martin Jensen and Marco Muñiz and Jacob Nørhave and Lars Rechter},
  year = {2020},
  url = {https://arxiv.org/abs/2002.10783},
  note = {Source identifier: 2002.10783}
}