TY  - RPRT
TI  - Fixpoint Approximation of Strategic Abilities under Imperfect Information
AU  - Wojciech Jamroga
AU  - Michał Knapik
AU  - Damian Kurpiewski
PY  - 2017
UR  - https://arxiv.org/abs/1612.02684
ID  - 1612.02684
ER  -