10 citations · 15 across the 2 of their papers we have counts for
2 papers
cs.FL2015★ 10 cited
A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic
Manfred Droste, Vitaly Perevoshchikov
Weighted timed automata (WTA) model quantitative aspects of real-time systems like continuous consumption of memory, power or financial resources. They accept quantitative timed la…
cs.LO2015★ 5 cited
Multi-weighted Automata and MSO Logic
Manfred Droste, Vitaly Perevoshchikov
Weighted automata are non-deterministic automata where the transitions are equipped with weights. They can model quantitative aspects of systems like costs or energy consumption. T…