TY  - RPRT
TI  - Timed Game Abstraction of Control Systems
AU  - Christoffer Sloth
AU  - Rafael Wisniewski
PY  - 2010
UR  - https://arxiv.org/abs/1012.5113
ID  - 1012.5113
ER  -