TY  - RPRT
TI  - Coverage Games for Testing Nondeterministic Systems
AU  - Farn Wang
AU  - Jung-Hsuan Wu
AU  - Sven Schewe
AU  - Chung-Hao Huang
PY  - 2013
UR  - https://arxiv.org/abs/1312.6201
ID  - 1312.6201
ER  -