Describing Weighted Safety with Weighted LTL over Product ω-valuation Monoids.
Saved in:
| Title: | Describing Weighted Safety with Weighted LTL over Product ω-valuation Monoids. |
|---|---|
| Authors: | MANDRALI, Eleni1, elemandr@gmail.comelemandr@math.auth.gr |
| Source: | Scientific Annals of Computer Science; 2023, Vol. 33 Issue 2, p93-157, 65p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
