TY  - RPRT
TI  - Trace Refinement in Labelled Markov Decision Processes
AU  - Nathanaël Fijalkow
AU  - Stefan Kiefer
AU  - Mahsa Shirmohammadi
PY  - 2020
DO  - 10.23638/lmcs-16(2:10)2020
UR  - https://arxiv.org/abs/1510.09102
ID  - 1510.09102
ER  -