TY  - RPRT
TI  - Towards Actionable Strategy Certificates in Stochastic Parity Games
AU  - Christel Baier
AU  - Diane Cauquil
AU  - Calvin Chau
AU  - Sascha Klüppelholz
AU  - Anne-Kathrin Schmuck
PY  - 2026
UR  - https://arxiv.org/abs/2609.08529
ID  - 2609.08529
ER  -