_id,doi,title 1691,10.1145/2728606.2728617,Temporal logic motion planning using POMDPs with parity objectives: Case study paper