TY  - RPRT
TI  - Automated, Credible Autocoding of An Unmanned Aggressive Maneuvering Car Controller
AU  - Timothy Wang
AU  - Eric Feron
PY  - 2013
UR  - https://arxiv.org/abs/1308.5964
ID  - 1308.5964
ER  -