Nested Weighted Limit-Average Automata of Bounded Width

Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop

While weighted automata provide a natural framework to express quantitative properties, many basic properties like average response time cannot be expressed with weighted automata.…