6 citations · 10 across the 5 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2016★ 6 cited
Linear Distances between Markov Chains
Przemysław Daca, Thomas A. Henzinger, Jan Křetínský +1
We introduce a general class of distances (metrics) between Markov chains, which are based on linear behaviour. This class encompasses distances given topologically (such as the to…
cs.FL2016
Array Folds Logic
Przemysław Daca, Thomas A. Henzinger, Andrey Kupriyanov
We present an extension to the quantifier-free theory of integer arrays which allows us to express counting. The properties expressible in Array Folds Logic (AFL) include statement…