TY  - RPRT
TI  - Model-checking Quantitative Alternating-time Temporal Logic on One-counter Game Models
AU  - Steen Vester
PY  - 2014
UR  - https://arxiv.org/abs/1409.5681
ID  - 1409.5681
ER  -