Weight Assignment Logic
From MaRDI portal
Publication:3451120
DOI10.1007/978-3-319-21500-6_33zbMath1434.03087arXiv1508.06121OpenAlexW3104709306MaRDI QIDQ3451120
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
Büchi automataquantitative logicunambiguous automatamulti-weighted automataquantitative omega-languages
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