Comparator automata in quantitative verification

The notion of comparison between system runs is fundamental in formal verification. This concept is implicitly present in the verification of qualitative systems, and is more pronounced in the verification of quantitative systems. In this work, we identify a novel mode of comparison in quantitative...

Full description

Bibliographic Details
Main Authors: Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2022-07-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/5050/pdf