TY - RPRT TI - Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes AU - Steven Carr AU - Nils Jansen AU - Ralf Wimmer AU - Jie Fu AU - Ufuk Topcu PY - 2018 UR - https://arxiv.org/abs/1802.09810 ID - 1802.09810 ER -