Best Paper Award for Markov Automata on Discount

Our discounted work on Markov automata wins the best paper award at MMB 2018.