Deterministic and Game Separability for Regular Languages of Infinite Trees

Lorenzo Clemente, Michal Skrzypczak. Deterministic and Game Separability for Regular Languages of Infinite Trees. In Nikhil Bansal, Emanuela Merelli, James Worrell 0001, editors, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference). Volume 198 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Abstract

Abstract is missing.