@misc{indiciae7badd2c377fb, title = {Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control}, author = {Kittiphon Phalakarn and Sasinee Pruekprasert and Ichiro Hasuo}, year = {2025}, doi = {10.1016/j.tcs.2025.115535}, url = {https://arxiv.org/abs/2409.08607}, note = {Source identifier: 2409.08607} }