Describing Weighted Safety with Weighted LTL over Product ω-valuation Monoids.

Saved in:

Bibliographic Details
Title:	Describing Weighted Safety with Weighted LTL over Product ω-valuation Monoids.
Authors:	MANDRALI, Eleni¹, 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

Description
ISSN:	18438121
DOI:	10.7561/SACS.2023.2.93