TY  - RPRT
TI  - Incremental Temporal Logic Synthesis of Control Policies for Robots Interacting with Dynamic Agents
AU  - Tichakorn Wongpiromsarn
AU  - Alphan Ulusoy
AU  - Calin Belta
AU  - Emilio Frazzoli
AU  - Daniela Rus
PY  - 2012
UR  - https://arxiv.org/abs/1203.1180
ID  - 1203.1180
ER  -