@misc{indiciae48b03d9c7e9f,
  title = {Trace Refinement in Labelled Markov Decision Processes},
  author = {Nathanaël Fijalkow and Stefan Kiefer and Mahsa Shirmohammadi},
  year = {2020},
  doi = {10.23638/lmcs-16(2:10)2020},
  url = {https://arxiv.org/abs/1510.09102},
  note = {Source identifier: 1510.09102}
}