Describing Weighted Safety with Weighted LTL over Product ω-valuation Monoids. - MANDRALI, Eleni (Scientific Annals of Computer Science, 2023)