A Translation of Weighted LTL Formulas to Weighted Büchi Automata over ω-valuation Monoids.
- Published in:
- Scientific Annals of Computer Science, 2021, v. 31, n. 2, p. 223, doi. 10.7561/SACS.2021.2.223
- By:
- Publication type:
- Article
Works matching IS 18438121 AND DT 2021 AND VI 31 AND IP 2
Results: 4
1
2
Maximizing the Number of Visible Labels on a Rotating Map.
- Published in:
- Scientific Annals of Computer Science, 2021, v. 31, n. 2, p. 293, doi. 10.7561/SACS.2021.2.293
- By:
- Publication type:
- Article
3
On Quantum-MV Algebras - Part I: The Orthomodular Algebras.
- Published in:
- Scientific Annals of Computer Science, 2021, v. 31, n. 2, p. 163, doi. 10.7561/SACS.2021.2.163
- By:
- Publication type:
- Article
4
Topological Characterization of the Third Type of Triangular Hex-derived Networks.
- Published in:
- Scientific Annals of Computer Science, 2021, v. 31, n. 2, p. 145, doi. 10.7561/SACS.2021.2.145
- By:
- Publication type:
- Article