On Guidable Index of Tree Automata

DOI10.4230/LIPICS.MFCS.2021.81MaRDI QIDQ6113369zbMATH OpenOpenAlexFDO

Authors Damian Niwiński, Michał Skrzypczak

Publication date 8 August 2023

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2021/14521/pdf/LIPIcs-MFCS-2021-81.pdf/

zbMATH Keywords

\(\omega\)-regular gamesguidable automataindex problem

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(2)

• The Non-deterministic Mostowski Hierarchy and Distance-Parity Automata
• History-determinism vs fair simulation

This page was built for publication: On Guidable Index of Tree Automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6113369)