Login / Signup
A Translation of Weighted LTL Formulas to Weighted B{\" u}chi Automata over {\(\omega\)}-valuation Monoids.
Eleni Mandrali
Published in:
Sci. Ann. Comput. Sci. (2021)
Keyphrases
</>
weighted sum
markov chain
cross language information retrieval
weighted distance