Near Optimal Task Graph Scheduling with Priced Timed Automata and Priced Timed Markov Decision Processes. - Anne Ejsing; Martin Jensen; Marco Muñiz; Jacob Nørhave; Lars Rechter (CoRR, 2020)