What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead

Felix Klein, Martin Zimmermann 0002. What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead. In Stephan Kreutzer, editor, 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany. Volume 41 of LIPIcs, pages 519-533, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

Abstract

Abstract is missing.