TY  - RPRT
TI  - Describing weighted safety with weighted LTL over product $ω$-valuation monoids
AU  - Eleni Mandrali
PY  - 2023
UR  - https://arxiv.org/abs/2310.00265
ID  - 2310.00265
ER  -