A translation of weighted LTL formulas to weighted Büchi automata over -valuation monoids

DOI10.7561/SACS.2021.2.223MaRDI QIDQ5089624zbMATH OpenFDO

Authors Eleni Mandrali

Publication date 19 July 2022

Published in Scientific Annals of Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

valuation monoidsweighted automataweighted LTL

Mathematics Subject Classification ID

Temporal logic (03B44) Automata and formal grammars in connection with logical questions (03D05) Semigroups in automata theory, linguistics, etc. (20M35) Formal languages and automata (68Q45)

Recommendations

• Valuations of weighted automata: doing it in a rational way
• Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
• Weighted LTL with discounting
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Weighted automata and weighted logics on infinite words

This page was built for publication: A translation of weighted LTL formulas to weighted Büchi automata over \(\omega\)-valuation monoids

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