TY  - RPRT
TI  - Propositional dynamic logic for searching games with errors
AU  - Bruno Teheux
PY  - 2014
UR  - https://arxiv.org/abs/1401.7234
ID  - 1401.7234
ER  -