@misc{indiciae00745a7ad09c, title = {Multi-weighted Markov Decision Processes with Reachability Objectives}, author = {Patricia Bouyer and Mauricio González and Nicolas Markey and Mickael Randour}, year = {2018}, doi = {10.4204/eptcs.277.18}, url = {https://arxiv.org/abs/1809.03107}, note = {Source identifier: 1809.03107} }