Weighted Automata and Logics on Graphs

DOI10.1007/978-3-662-48057-1_15zbMath1465.68140OpenAlexW2216038477MaRDI QIDQ2946335

Stefan Dück, Manfred Droste

Publication date: 16 September 2015

Published in: Mathematical Foundations of Computer Science 2015 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48057-1_15

zbMATH Keywords

weighted automataquantitative logicquantitative automataweighted logicBüchi-type equivalencegraph acceptorsNivat theorem

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items

Recognizable series on graphs and hypergraphs ⋮ A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings ⋮ Unnamed Item ⋮ Weighted Automata and Logics on Infinite Graphs ⋮ Weighted automata ⋮ Monitor Logics for Quantitative Monitor Automata