Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes