Weighted Automata and Weighted Logics on Infinite Words

DOI10.1007/11779148_6zbMath1227.68053OpenAlexW2167951248MaRDI QIDQ3617045

Manfred Droste, George Rahonis

Publication date: 26 March 2009

Published in: Developments in Language Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11779148_6

zbMATH Keywords

weighted logicsinfinitary formal power seriesweighted Muller automata

Mathematics Subject Classification ID

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

Related Items

Weighted automata and weighted logics ⋮ Weight Assignment Logic ⋮ Weighted automata and weighted logics with discounting ⋮ Definable transductions and weighted logics for texts ⋮ Weighted automata and weighted logics on infinite words ⋮ Weighted Automata and Weighted Logics with Discounting ⋮ Weighted Linear Dynamic Logic ⋮ Weighted picture automata and weighted logics ⋮ Weighted Logics for Nested Words and Algebraic Formal Power Series ⋮ Quantitative vs. weighted automata ⋮ Automata-Based Axiom Pinpointing ⋮ Quantitative Automata under Probabilistic Semantics ⋮ Weighted automata and logics for infinite nested words ⋮ MSO logics for weighted timed automata ⋮ Automata-based axiom pinpointing ⋮ Unnamed Item ⋮ A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic ⋮ Weighted Automata and Logics on Infinite Graphs ⋮ A Weighted μ-Calculus on Words ⋮ Weighted Timed MSO Logics ⋮ Monitor Logics for Quantitative Monitor Automata ⋮ Bidirectional nested weighted automata

This page was built for publication: Weighted Automata and Weighted Logics on Infinite Words