Nested Weighted Limit-Average Automata of Bounded Width

From MaRDI portal

Revision as of 14:05, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4608583

Jump to:navigation, search

DOI10.4230/LIPIcs.MFCS.2016.24zbMath1398.68305arXiv1606.03598OpenAlexW2963690846MaRDI QIDQ4608583

Jan Otop, Krishnendu Chatterjee, Thomas A. Henzinger

Publication date: 21 March 2018

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

zbMATH Keywords

complexity weighted automata mean-payoff nested weighted automata

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (4)

Quantitative Automata under Probabilistic Semantics ⋮ Long-Run Average Behavior of Vector Addition Systems with States ⋮ Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States ⋮ Bidirectional nested weighted automata

This page was built for publication: Nested Weighted Limit-Average Automata of Bounded Width

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4608583&oldid=18775270"