Weight Assignment Logic
Formal Languages and Automata Theory
2015-08-26 v1 Logic in Computer Science
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.
Cite
@article{arxiv.1508.06121,
title = {Weight Assignment Logic},
author = {Vitaly Perevoshchikov},
journal= {arXiv preprint arXiv:1508.06121},
year = {2015}
}
Comments
This is the full version of the paper published at DLT 2015