TY  - RPRT
TI  - Reasoning about Agent Programs using ATL-like Logics
AU  - Nitin Yadav
AU  - Sebastian Sardina
PY  - 2012
UR  - https://arxiv.org/abs/1207.3874
ID  - 1207.3874
ER  -