Login / Signup

Describing weighted safety with weighted LTL over product ω-valuation monoids.

Eleni Mandrali
Published in: CoRR (2023)
Keyphrases
  • order statistics
  • databases
  • clustering algorithm
  • weighted graph
  • weighted sum
  • weighted distance