2000 character limit reached
Weight Assignment Logic (1508.06121v1)
Published 25 Aug 2015 in cs.FL and cs.LO
Abstract: We introduce a weight assignment logic for reasoning about quantitative languages of infinite words. This logic is an extension of the classical MSO logic and permits to describe quantitative properties of systems with multiple weight parameters, e.g., the ratio between rewards and costs. We show that this logic is expressively equivalent to unambiguous weighted B\"uchi automata. We also consider an extension of weight assignment logic which is expressively equivalent to nondeterministic weighted B\"uchi automata.