Parikh automata over Infinite words

DOI10.4230/LIPICS.FSTTCS.2022.40MaRDI QIDQ6604657zbMATH OpenFDO

Authors Shibashis Guha, Ismaël Jecker, Karoliina Lehtinen, Martin Zimmermann

Publication date 12 September 2024

zbMATH Keywords

Parikh automata\(\omega\)-automataInfinite games

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Cited in

(1)

• Jumping automata over infinite words

This page was built for publication: Parikh automata over Infinite words

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