@misc{indiciae9f8b88bd88b9,
  title = {Omega-regular Verification and Control for Distributional Specifications in MDPs},
  author = {S. Akshay and Ouldouz Neysari and Đorđe Žikelić},
  year = {2025},
  url = {https://arxiv.org/abs/2507.04286},
  note = {Source identifier: 2507.04286}
}