Measure-theoretic semantics for quantitative parity automata

DOI10.4230/LIPICS.CSL.2023.14MaRDI QIDQ6610615FDOQ6610615

Corina Cîrstea, Clemens Kupke

Publication date: 25 September 2024

zbMATH Keywords

coalgebrameasure theoryparity automaton

Mathematics Subject Classification ID

Logic in computer science (03B70)

This page was built for publication: Measure-theoretic semantics for quantitative parity automata

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