TY  - RPRT
TI  - ATLsc with partial observation
AU  - François Laroussinie
AU  - Nicolas Markey
AU  - Arnaud Sangnier
PY  - 2015
DO  - 10.4204/eptcs.193.4
UR  - https://arxiv.org/abs/1509.07208
ID  - 1509.07208
ER  -