8 citations · 18 across the 10 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.LO2013★ 2 cited
On the Expressiveness of TPTL and MTL over ω-Data Words
Claudia Carapelle, Shiguang Feng, Oliver Fernández Gil +1
Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL) are prominent extensions of Linear Temporal Logic to specify properties about data languages. In this pape…
cs.FL2013★ 1 cited
Kleene Algebras and Semimodules for Energy Problems
Zoltán Ésik, Uli Fahrenberg, Axel Legay +1
With the purpose of unifying a number of approaches to energy problems found in the literature, we introduce generalized energy automata. These are finite automata whose edges are…