_id,doi,title 6887,10.4230/LIPICS.CONCUR.2019.7,Near-linear time algorithms for Streett objectives in graphs and MDPs