Human-in-the-Loop Online Planning of Uncertain MDPs under Temporal Tasks and Safe-return Constraints Ongoing Work