DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-48899-7_12,1594,"ToHe,KrCh",Controller synthesis for MDPs and frequency LTL\GU