_id,doi,title
1839,10.1007/978-3-662-46681-0_12,Multigain: A controller synthesis tool for MDPs with multiple mean-payoff objectives