_id,doi,title
1732,10.1109/ICRA.2015.7139019,Qualitative analysis of POMDPs with temporal logic specifications for robotics applications