Weight Assignment Logic

DOI10.1007/978-3-319-21500-6_33zbMath1434.03087arXiv1508.06121OpenAlexW3104709306MaRDI QIDQ3451120

Vitaly Perevoshchikov

Publication date: 10 November 2015

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

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

zbMATH Keywords

Büchi automataquantitative logicunambiguous automatamulti-weighted automataquantitative omega-languages

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Multi-weighted automata and MSO logic
• Handbook of weighted automata
• Transductions des langages de Chomsky
• A logical characterization of data languages.
• Weighted automata and weighted MSO logics for average and long-time behaviors
• Weighted automata
• Synthesizing robust systems
• Weighted automata and weighted logics
• Optimal infinite scheduling for multi-priced timed automata
• Energy Games in Multiweighted Automata
• Weak Second‐Order Arithmetic and Finite Automata
• Quantitative Languages
• Weighted Automata and Weighted Logics on Infinite Words
• DECOMPOSITION OF WEIGHTED MULTIOPERATOR TREE AUTOMATA
• THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
• DECIDABILITY OF THE EQUIVALENCE PROBLEM FOR FINITELY AMBIGUOUS FINANCE AUTOMATA
• A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic
• Foundations of Software Science and Computational Structures
• Quantitative Languages Defined by Functional Automata

This page was built for publication: Weight Assignment Logic