4 citations · 11 across the 11 of their papers we have counts for
1 paper · 1 filter
Jakub Michaliszyn, Jan Otop
Weighted automata is a basic tool for specification in quantitative verification, which allows to express quantitative features of analysed systems such as resource consumption. Qu…