DOI,IST REx ID,Research Group,Title of publication
10.1109/ICRA.2015.7139019,1732,KrCh,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications