2 papers
cs.LO2023
Describing weighted safety with weighted LTL over product -valuation monoids
Eleni Mandrali
We define the notion of -safe infinitary series over idempotent ordered totally generalized product -valuation monoids that satisfy specific properties. For each element …
cs.FL2020
A translation of weighted LTL formulas to weighted Büchi automata over ω-valuation monoids
Eleni Mandrali
In this paper we introduce a weighted LTL over product -valuation monoids that satisfy specific properties. We also introduce weighted generalized Büchi automata with $\varepsil…