Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control.

Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo

Browse the full ICTAC paper archive.