@article{lmcs:3953, title = {Improved Algorithms for Parity and Streett objectives}, author = {Krishnendu Chatterjee and Monika Henzinger and Veronika Loitzenbauer}, url = {https://lmcs.episciences.org/3953}, doi = {10.23638/LMCS-13(3:26)2017}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 13, Issue 3}, eid = 26, year = {2017}, month = {Sep}, keywords = {Computer Science - Data Structures and Algorithms, Computer Science - Logic in Computer Science, F.2.2, F.3.1}, }