@misc{indiciaed4ed9841e4cd,
  title = {Compositional Verification of Almost-Sure Büchi Objectives in MDPs},
  author = {Marck van der Vegt and Kazuki Watanabe and Ichiro Hasuo and Sebastian Junges},
  year = {2025},
  url = {https://arxiv.org/abs/2508.13087},
  note = {Source identifier: 2508.13087}
}