DOI,IST REx ID,Research Group,Title of publication
10.1145/2728606.2728617,1691,KrCh,Temporal logic motion planning using POMDPs with parity objectives: Case study paper