@article{winningstrategytemplatesforstochastic,
  title = {Winning Strategy Templates for Stochastic Parity Games towards Permissive and Resilient Control},
  author = {Kittiphon Phalakarn and Sasinee Pruekprasert and Ichiro Hasuo},
  year = {2024},
  eprint = {2409.08607},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2409.08607v1},
}