DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPICS.CONCUR.2019.7,6887,KrCh,Near-linear time algorithms for Streett objectives in graphs and MDPs