TY  - RPRT
TI  - Strategy Templates for Almost-Sure and Positive Winning of Stochastic Parity Games towards Permissive and Resilient Control
AU  - Kittiphon Phalakarn
AU  - Sasinee Pruekprasert
AU  - Ichiro Hasuo
PY  - 2025
DO  - 10.1016/j.tcs.2025.115535
UR  - https://arxiv.org/abs/2409.08607
ID  - 2409.08607
ER  -