Good-for-games ω-Pushdown Automata

DOI10.1145/3373718.3394737OpenAlexW3102720710MaRDI QIDQ5145673

Martín G. Zimmermann, Karoliina Lehtinen

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2001.04392

zbMATH Keywords

infinite gamespushdown automatacontextfree languagesgood-for-games automata

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (3)

Token Games and History-Deterministic Quantitative-Automata ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Good-for-games ω-Pushdown Automata