27 citations · 41 across the 12 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.FL2019★ 3 cited
Non-deterministic weighted automata evaluated over Markov chains
Jakub Michaliszyn, Jan Otop
We present the first study of non-deterministic weighted automata under probabilistic semantics. In this semantics words are random events, generated by a Markov chain, and functio…
cs.FL2019
Approximate Learning of Limit-Average Automata
Jakub Michaliszyn, Jan Otop
Limit-average automata are weighted automata on infinite words that use average to aggregate the weights seen in infinite runs. We study approximate learning problems for limit-ave…
cs.FL2019
Long-Run Average Behavior of Vector Addition Systems with States
Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop
A vector addition system with states (VASS) consists of a finite set of states and counters. A configuration is a state and a value for each counter; a transition changes the state…