2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2022
-Regular Energy Problems
Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier
We show how to efficiently solve problems involving a quantitative measure, here called energy, as well as a qualitative acceptance condition, expressed as a Büchi or Parity object…
cs.FL2020★ 2 cited
Greibach Normal Form for -Algebraic Systems and Weighted Simple -Pushdown Automata
Manfred Droste, Sven Dziadek, Werner Kuich
In weighted automata theory, many classical results on formal languages have been extended into a quantitative setting. Here, we investigate weighted context-free languages of infi…