TY  - RPRT
TI  - Multi-weighted Markov Decision Processes with Reachability Objectives
AU  - Patricia Bouyer
AU  - Mauricio González
AU  - Nicolas Markey
AU  - Mickael Randour
PY  - 2018
DO  - 10.4204/eptcs.277.18
UR  - https://arxiv.org/abs/1809.03107
ID  - 1809.03107
ER  -