@misc{indiciae6596020cc49e,
  title = {Pareto Curves for Compositionally Model Checking String Diagrams of MDPs},
  author = {Kazuki Watanabe and Marck van der Vegt and Ichiro Hasuo and Jurriaan Rot and Sebastian Junges},
  year = {2024},
  url = {https://arxiv.org/abs/2401.08377},
  note = {Source identifier: 2401.08377}
}