2 citations · 4 across the 3 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2017★ 2 cited
PAWS: A Tool for the Analysis of Weighted Systems
Barbara König, Sebastian Küpper, Christina Mika
PAWS is a tool to analyse the behaviour of weighted automata and conditional transition systems. At its core PAWS is based on a generic implementation of algorithms for checking la…
cs.FL2017★ 2 cited
Up-To Techniques for Weighted Systems (Extended Version)
Filippo Bonchi, Barbara König, Sebastian Küpper
We show how up-to techniques for (bi-)similarity can be used in the setting of weighted systems. The problems we consider are language equivalence, language inclusion and the thres…