Go to the corresponding LIPIcs Volume Portal 
Chatterjee, Krishnendu ; Dvorák, Wolfgang ; Henzinger, Monika ; Loitzenbauer, Veronika
pdfformat: 

@InProceedings{chatterjee_et_al:LIPIcs:2016:6440, author = {Krishnendu Chatterjee and Wolfgang Dvor{\'a}k and Monika Henzinger and Veronika Loitzenbauer}, title = {{Conditionally Optimal Algorithms for Generalized B{\"u}chi Games}}, booktitle = {41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)}, pages = {25:125:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959770163}, ISSN = {18688969}, year = {2016}, volume = {58}, editor = {Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6440}, URN = {urn:nbn:de:0030drops64403}, doi = {10.4230/LIPIcs.MFCS.2016.25}, annote = {Keywords: generalized B{\"u}chi objective, GR(1) objective, conditional lower bounds, graph games, graph algorithms, computeraided verification} }
Keywords:  generalized Büchi objective, GR(1) objective, conditional lower bounds, graph games, graph algorithms, computeraided verification  
Collection:  41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)  
Issue Date:  2016  
Date of publication:  19.08.2016 