DOI,IST REx ID,Research Group,Title of publication
null,34,KrCh,Sensor synthesis for POMDPs with reachability objectives