TY - RPRT TI - Control of Probabilistic Systems under Dynamic, Partially Known Environments with Temporal Logic Specifications AU - Tichakorn Wongpiromsarn AU - Emilio Frazzoli PY - 2012 UR - https://arxiv.org/abs/1203.1177 ID - 1203.1177 ER -